Resource-aware automata and games for optimal synthesis
From MaRDI portal
Publication:5020522
Authors: Corina Cîrstea
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/1909.07656
Recommendations
Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Automata, logics, and infinite games. A guide to current research
- Title not available (Why is that?)
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Energy parity games
- Rudiments of \(\mu\)-calculus
- A coalgebraic approach to linear-time logics
- Introduction to coalgebra. Towards mathematics of states and observation
- Parity and Streett games with costs
- From branching to linear time, coalgebraically
- Title not available (Why is that?)
- Parity Automata for Quantitative Linear Time Logics
Cited In (2)
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)