No. Title Author Year
1 Random Testing for Distributed Systems with Theoretical Guarantees (Invited Paper) Majumdar, Rupak 2018
2 Verification of Immediate Observation Population Protocols Esparza, Javier et al. 2018
3 Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201) Belta, Calin A. et al. 2017
4 Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111) Chaudhuri, Swarat et al. 2017
5 The Robot Routing Problem for Collecting Aggregate Stochastic Rewards Dimitrova, Rayna et al. 2017
6 Model Checking Population Protocols Esparza, Javier et al. 2016
7 Asynchronous Liquid Separation Types Kloos, Johannes et al. 2015
8 Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes Esmaeil Zadeh Soudjani, Sadegh et al. 2015
9 Rely/Guarantee Reasoning for Asynchronous Programs Gavran, Ivan et al. 2015
10 Verification of Population Protocols Esparza, Javier et al. 2015
Current Page :
Number of result pages: 2
Number of documents: 14


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI