No. Title Author Year
1 Unbounded Product-Form Petri Nets Bouyer, Patricia et al. 2017
2 Analysing Decisive Stochastic Processes Bertrand, Nathalie et al. 2016
3 Reachability in Networks of Register Protocols under Stochastic Schedulers Bouyer, Patricia et al. 2016
4 Stochastic Timed Games Revisited Akshay, S. et al. 2016
5 On the Value Problem in Weighted Timed Games Bouyer, Patricia et al. 2015
6 Weighted Strategy Logic with Boolean Goals Over One-Counter Games Bouyer, Patricia et al. 2015
7 Mixed Nash Equilibria in Concurrent Terminal-Reward Games Bouyer, Patricia et al. 2014
8 Nash Equilibria in Concurrent Games with Büchi Objectives Bouyer, Patricia et al. 2011
9 Shrinking Timed Automata Sankur, Ocan et al. 2011
10 Computing Rational Radical Sums in Uniform TC^0 Hunter, Paul et al. 2010
Current Page :
Number of result pages: 2
Number of documents: 11


DROPS-Home | Fulltext Search | Imprint Published by LZI