Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

3137 Publications


2015 | Conference Paper | IST-REx-ID: 1594
Forejt V, Krčál J, Kretinsky J. Controller synthesis for MDPs and frequency LTL\GU. In: Vol 9450. Springer; 2015:162-177. doi:10.1007/978-3-662-48899-7_12
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1595 | OA
Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity. In: Vol 9411. Springer; 2015:99-110. doi:10.1007/978-3-319-27261-0_9
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1596 | OA
Fulek R, Radoičić R. Vertical visibility among parallel polygons in three dimensions. 2015;9411:373-379. doi:10.1007/978-3-319-27261-0_31
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1598 | OA
Chatterjee K, Joglekar M, Shah N. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theoretical Computer Science. 2015;573(3):71-89. doi:10.1016/j.tcs.2015.01.050
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1601 | OA
Babiak T, Blahoudek F, Duret Lutz A, et al. The Hanoi omega-automata format. In: Vol 9206. Springer; 2015:479-486. doi:10.1007/978-3-319-21690-4_31
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications