|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 46 publication records. Showing 46 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Space-efficient scheduling of stochastically generated tasks.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný |
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer |
Stabilization of Branching Queueing Networks. |
STACS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek |
Qualitative reachability in stochastic BPA games. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera |
Efficient Analysis of Probabilistic Programs with an Unbounded Counter |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák |
Fixed-delay Events in Generalized Semi-Markov Processes Revisited |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera |
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer |
Stabilization of Branching Queueing Networks |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera |
Approximating the Termination Value of One-Counter MDPs and Stochastic Games |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák |
Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera |
Approximating the Termination Value of One-Counter MDPs and Stochastic Games. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková |
Runtime Analysis of Probabilistic Programs with Unbounded Recursion. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera |
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera |
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami |
One-Counter Stochastic Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek |
Qualitative Reachability in Stochastic BPA Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Space-efficient scheduling of stochastically generated tasks |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Petr Jancar, Antonín Kucera |
Reachability Games on Extended Vector Addition Systems with States |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková |
Runtime Analysis of Probabilistic Programs with Unbounded Recursion |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak |
One-Counter Markov Decision Processes. |
SODA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Petr Jancar, Antonín Kucera |
Reachability Games on Extended Vector Addition Systems with States. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Space-Efficient Scheduling of Stochastically Generated Tasks. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami |
One-Counter Stochastic Games. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Vojtech Forejt |
Branching-Time Model-Checking of Probabilistic Pushdown Automata. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak |
One-Counter Markov Decision Processes |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek |
Qualitative Reachability in Stochastic BPA Games. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer |
On the Memory Consumption of Probabilistic Pushdown Automata. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Antonín Kucera, Oldrich Strazovský |
Deciding probabilistic bisimilarity over infinite-state probabilistic systems. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera |
Reachability in recursive Markov decision processes. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera |
Discounted Properties of Probabilistic Pushdown Automata. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Vojtech Forejt, Antonín Kucera |
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera |
The Satisfiability Problem for Probabilistic CTL. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
temporal logics, Markov chains |
| 1 | Tomás Brázdil, Vojtech Forejt |
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera |
Stochastic Game Logic. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Ivana Cerná |
Model Checking of RegCTL. |
Computers and Artificial Intelligence |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera |
Reachability in Recursive Markov Decision Processes. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera |
Stochastic Games with Branching-Time Winning Objectives. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Antonín Kucera, Oldrich Strazovský |
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Javier Esparza, Antonín Kucera |
Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (Extended Abstract). |
FOCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Antonín Kucera |
Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Antonín Kucera, Oldrich Strazovský |
Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Ivana Cerná |
Local Distributed Model Checking of RegCTL. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #46 of 46 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")