No. Title Author Year
1 Concurrent Parameterized Games Bertrand, Nathalie et al. 2019
2 Reconfiguration and Message Losses in Parameterized Broadcast Networks Bertrand, Nathalie et al. 2019
3 Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries Bertrand, Nathalie et al. 2019
4 Controlling a Population Bertrand, Nathalie et al. 2017
5 Analysing Decisive Stochastic Processes Bertrand, Nathalie et al. 2016
6 Diagnosis in Infinite-State Probabilistic Systems Bertrand, Nathalie et al. 2016
7 Distributed Local Strategies in Broadcast Networks Bertrand, Nathalie et al. 2015
8 Foundation of Diagnosis and Predictability in Probabilistic Systems Bertrand, Nathalie et al. 2014
9 Parameterized Verification of Many Identical Probabilistic Timed Processes Bertrand, Nathalie et al. 2013
10 Bounded Satisfiability for PCTL Bertrand, Nathalie et al. 2012
11 On the Decidability Status of Reachability and Coverability in Graph Transformation Systems Bertrand, Nathalie et al. 2012
12 Minimal Disclosure in Partially Observable Markov Decision Processes Bertrand, Nathalie et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 12


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