Controlling a random population
From MaRDI portal
Publication:2200817
DOI10.1007/978-3-030-45231-5_7OpenAlexW3023412315MaRDI QIDQ2200817
Nathanaël Fijalkow, Thomas Colcombet, Pierre Ohlmann
Publication date: 23 September 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-45231-5_7
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The residue of vector sets with applications to decidability problems in Petri nets
- Automata, logics, and infinite games. A guide to current research
- Computation in networks of passively mobile finite-state sensors
- The theory of well-quasi-ordering: a frequently discovered concept
- Regular Cost Functions, Part I: Logic and Algebra over Words
- Two Recursively Inseparable Problems for Probabilistic Automata
- Maximal Flow Through a Network
- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
- Reasoning about systems with many processes
- Decisive Markov Chains
- Ordering by Divisibility in Abstract Algebras