2 papers
cs.CR2014
Probabilistic Opacity for Markov Decision Processes
Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder
Opacity is a generic security property, that has been defined on (non probabilistic) transition systems and later on Markov chains with labels. For a secret predicate, given as a s…
cs.DC2014
On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder +1
RecentadvancesinDistributedComputinghighlightmodelsandalgo- rithms for autonomous swarms of mobile robots that self-organize and cooperate to solve global objectives. The overwhelm…