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

DROPS-Home | Fulltext Search | Imprint Published by LZI