Department of Computer Science

Total number of titles in 2015: 5

 

RÁČEK, Jaroslav - DAŇA, Josef - ŠTĚPÁNEK, Petr.
ASSESSMENT OF PROJECT BASED LEARNING IN SOFTWARE ENGINEERING. 2015.


more

 

SVOREŇOVÁ, Mária - ČERNÁ, Ivana - BELTA, Calin.
Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties. IEEE Transactions on Automatic Control, IEEE Control Systems Society. ISSN 0018-9286, 2015. Accepted.


more

 

BRÁZDIL, Tomáš - KIEFER, Stefan - KUČERA, Antonín - HUTAŘOVÁ VAŘEKOVÁ, Ivana.
Runtime analysis of probabilistic programs with unbounded recursion. Journal of Computer and System Sciences, Academic Press, The Nederlands. ISSN 0022-0000, 2015, vol. 81, no. 1, pp. 288-310.


more

 

SVOREŇOVÁ, Mária - KŘETÍNSKÝ, Jan - CHMELÍK, Martin - CHATTERJEE, Krishnendu - ČERNÁ, Ivana - BELTA, Calin.
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. : Association for Computing Machinery (ACM), 2015. 2015. Submitted.


more

 

SVOREŇOVÁ, Mária - CHMELÍK, Martin - LEAHY, Kevin - ENISER, Hasan Ferit - CHATTERJEE, Krishnendu - ČERNÁ, Ivana - BELTA, Calin.
Temporal Logic Motion Planning using POMDPs with Parity Objectives. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. : Association for Computing Machinery (ACM), 2015. Submitted.


more