Jan Kretínský (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

9 Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák: Measuring performance of continuous-time stochastic processes using timed automata. HSCC 2011: 33-42

8 Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák: Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata CoRR abs/1101.4204: (2011)

6 Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák: Stochastic Real-Time Games with Qualitative Timed Automata Objectives. CONCUR 2010: 207-221

4 Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera: Continuous-Time Stochastic Games with Time-Bounded Reachability. FSTTCS 2009: 61-72

1 Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera: The Satisfiability Problem for Probabilistic CTL. LICS 2008: 391-402

Selection of 5 from 16 records - Jan Kretínský has 11 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

9		Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák: Measuring performance of continuous-time stochastic processes using timed automata. HSCC 2011: 33-42
8		Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák: Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata CoRR abs/1101.4204: (2011)
6		Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák: Stochastic Real-Time Games with Qualitative Timed Automata Objectives. CONCUR 2010: 207-221
4		Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera: Continuous-Time Stochastic Games with Time-Bounded Reachability. FSTTCS 2009: 61-72
1		Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera: The Satisfiability Problem for Probabilistic CTL. LICS 2008: 391-402