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


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