Controller Synthesis with Budget Constraints

DOI10.1007/978-3-540-78929-1_6zbMath1144.93312OpenAlexW198967158MaRDI QIDQ3523099

Rupak Majumdar, Krishnendu Chatterjee, Thomas A. Henzinger

Publication date: 2 September 2008

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_6

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Synthesis problems (93B50)

Related Items (4)

Minimum Attention Controller Synthesis for Omega-Regular Objectives ⋮ Latticed-LTL synthesis in the presence of noisy inputs ⋮ Sensing as a Complexity Measure ⋮ Infinite-Duration Bidding Games

This page was built for publication: Controller Synthesis with Budget Constraints