No. Title Author Year
1 Automatic Analysis of Expected Termination Time for Population Protocols Blondin, Michael et al. 2018
2 Stability in Graphs and Games Brazdil, Tomas et al. 2016
3 Continuous-Time Stochastic Games with Time-Bounded Reachability Brazdil, Tomas et al. 2009
4 Qualitative Reachability in Stochastic BPA Games Brazdil, Tomas et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Imprint | Privacy Published by LZI