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.

364 Publications


2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová, Mária, et al. “Temporal Logic Motion Planning Using POMDPs with Parity Objectives: Case Study Paper.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–38, doi:10.1145/2728606.2728617.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1658
Bogomolov, Sergiy, et al. Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. Vol. 9308, Springer, 2015, pp. 77–89, doi:10.1007/978-3-319-23401-4_8.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1836
Cerny, Pavol, et al. Segment Abstraction for Worst-Case Execution Time Analysis. Vol. 9032, Springer, 2015, pp. 105–31, doi:10.1007/978-3-662-46669-8_5.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. Vol. 9135, no. Part II, Springer, 2015, pp. 121–33, doi:10.1007/978-3-662-47666-6_10.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1603
Brázdil, Tomáš, et al. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Vol. 9206, Springer, 2015, pp. 158–77, doi:10.1007/978-3-319-21690-4_10.
View | Files available | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed