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


DROPS-Home | Fulltext Search | Imprint Published by LZI