No. |
Title |
Author |
Year |
---|

1 |
Of Cores: A Partial-Exploration Framework for Markov Decision Processes |
Kretínský, Jan et al. |
2019 |

2 |
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints |
Kretínský, Jan et al. |
2018 |

3 |
Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121) |
Jansen, Nils et al. |
2018 |

4 |
The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL |
Kretínský, Jan et al. |
2018 |

5 |
Linear Distances between Markov Chains |
Daca, Przemyslaw et al. |
2016 |

6 |
Polynomial Time Decidability of Weighted Synchronization under Partial Observability |
Kretinsky, Jan et al. |
2015 |

7 |
Verification of Open Interactive Markov Chains |
Brazdil, Tomas et al. |
2012 |

8 |
Process Algebra for Modal Transition Systemses |
Benes, Nikola et al. |
2011 |

9 |
Continuous-Time Stochastic Games with Time-Bounded Reachability |
Brazdil, Tomas et al. |
2009 |