18 citations · 34 across the 12 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017
Two Recursively Inseparable Problems for Probabilistic Automata
Nathanaël Fijalkow, Hugo Gimbert, Florian Horn +1
This paper introduces and investigates decision problems for numberless probabilistic automata, i.e. probabilistic automata where the support of each probabilistic transitions is s…
cs.LO2017
The Complexity of Concurrent Rational Synthesis
Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard
In this paper, we investigate the rational synthesis problem for concurrent game structure for a variety of objectives ranging from reachability to Muller condition. We propose a n…