No. Title Author Year
1 The Robot Routing Problem for Collecting Aggregate Stochastic Rewards Dimitrova, Rayna et al. 2017
2 Model Checking Population Protocols Esparza, Javier et al. 2016
3 Asynchronous Liquid Separation Types Kloos, Johannes et al. 2015
4 Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes Esmaeil Zadeh Soudjani, Sadegh et al. 2015
5 Rely/Guarantee Reasoning for Asynchronous Programs Gavran, Ivan et al. 2015
6 Verification of Population Protocols Esparza, Javier et al. 2015
7 Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122) Majumdar, Rupak et al. 2014
8 A Theory of Partitioned Global Address Spaces Calin, Georgel et al. 2013
9 Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) Bjorner, Nikolaj et al. 2013
10 Algorithms for Game Metrics Chatterjee, Krishnendu et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 10

DROPS-Home | Fulltext Search | Imprint Published by LZI