Controlling a population
From MaRDI portal
Publication:5111624
Formal languages and automata (68Q45) Applications of game theory (91A80) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Multi-agent systems (93A16)
Recommendations
Cites work
- scientific article; zbMATH DE number 1500523 (Why is no real title available?)
- Computation in networks of passively mobile finite-state sensors
- Computational complexity of certain problems related to carefully synchronizing words for partial automata and directing words for nondeterministic automata
- Controlling a population
- Deciding parity games in quasipolynomial time
- Fixed-dimensional energy games are in pseudo-polynomial time
- Games for synthesis of controllers with partial observation.
- Infinite Synchronizing Words for Probabilistic Automata
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- Keeping a crowd safe: on the complexity of parameterized verification (invited talk)
- Limit synchronization in Markov decision processes
- Model checking of systems with many identical timed processes
- On regularity of unary probabilistic automata
- On the Verification of Timed Ad Hoc Networks
- Parameterised verification for multi-agent systems
- Parameterized verification of many identical probabilistic timed processes
- Playing with probabilities in reconfigurable broadcast networks
- Probabilistic automata on finite words: decidable and undecidable problems
- Reachability games on extended vector addition systems with states
- Reasoning about systems with many processes
- Synchronizing Automata and the Černý Conjecture
- Verification of Population Protocols
Cited in
(10)- Controlling a random population
- Expressive Power of Broadcast Consensus Protocols
- The complexity of synchronizing Markov decision processes
- Controlling a population
- Running time analysis of broadcast consensus protocols
- scientific article; zbMATH DE number 7471672 (Why is no real title available?)
- Integral control for population management
- Stochastic games with synchronizing objectives
- Controlling a population
- Bounds for synchronizing Markov decision processes
This page was built for publication: Controlling a population
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111624)