Resource-aware automata and games for optimal synthesis
From MaRDI portal
Publication:5020522
Recommendations
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)
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)