Resource-aware automata and games for optimal synthesis

MaRDI QIDQ5020522FDO

Authors Corina Cîrstea

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1909.07656

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automata and games for synthesis
• Generalized mean-payoff and energy games
• Energy parity games

Cites work

• scientific article; zbMATH DE number 1500523 (Why is no real title available?)
• scientific article; zbMATH DE number 7533361 (Why is no real title available?)
• A coalgebraic approach to linear-time logics
• Automata, logics, and infinite games. A guide to current research
• Energy parity games
• From branching to linear time, coalgebraically
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Introduction to coalgebra. Towards mathematics of states and observation
• Parity Automata for Quantitative Linear Time Logics
• Parity and Streett games with costs
• Rudiments of \(\mu\)-calculus

Cited in

(2)

• scientific article; zbMATH DE number 1163641 (Why is no real title available?)
• Linear-time logics -- a coalgebraic perspective

This page was built for publication: Resource-aware automata and games for optimal synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020522)