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

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




5616 Publications

2016 | Published | Conference Paper | IST-REx-ID: 1341 | OA
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
[Preprint] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1148
Adaptive moment closure for parameter inference of biochemical reaction networks
C. Schilling, S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, Biosystems 149 (2016) 15–25.
View | Files available | DOI
 
2016 | Published | Thesis | IST-REx-ID: 1130 | OA
Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1069 | OA
On the skolem problem for continuous linear dynamical systems
Chonev, Ventsislav K, On the skolem problem for continuous linear dynamical systems. 55. 2016
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1138 | OA
Quantitative automata under probabilistic semantics
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1389 | OA
On recurrent reachability for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1140 | OA
Model and objective separation with conditional lower bounds: disjunction is harder than conjunction
K. Chatterjee, W. Dvoák, M. Henzinger, V. Loitzenbauer, in:, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1093 | OA
Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1391 | OA
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1230 | OA
Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1227 | OA
Discrete abstraction of multiaffine systems
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
[Submitted Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1205 | OA
Safety assured formal model driven design of the multifunction vehicle bus controller
Jiang, Yu, Safety assured formal model driven design of the multifunction vehicle bus controller. 9995. 2016
[Submitted Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1068 | OA
Conditionally optimal algorithms for generalized Büchi Games
Chatterjee, Krishnendu, Conditionally optimal algorithms for generalized Büchi Games. 58. 2016
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1090 | OA
Nested weighted limit-average automata of bounded width
Chatterjee, Krishnendu, Nested weighted limit-average automata of bounded width. 58. 2016
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1070 | OA
Computation tree logic for synchronization properties
Chatterjee, Krishnendu, Computation tree logic for synchronization properties. 55. 2016
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1340 | OA
The big match in small space
K. Hansen, R. Ibsen-Jensen, M. Koucký, in:, Springer, 2016, pp. 64–76.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 480 | OA
Perfect-information stochastic games with generalized mean-payoff objectives
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1335 | OA
Quantitative monitor automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Springer, 2016, pp. 23–38.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1166
A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps
K. Chatterjee, M. Chmelik, J. Davies, in:, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Press, 2016, pp. 3225–3232.
View | Files available
 
2016 | Published | Conference Paper | IST-REx-ID: 1438 | OA
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed