Resource-aware automata and games for optimal synthesis

MaRDI QIDQ5020522FDOQ5020522

Authors: Corina Cîrstea 

Publication date: 6 January 2022

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

Recommendations

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

Mathematics Subject Classification ID

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)

• Linear-time logics -- a coalgebraic perspective
• Title not available (Why is that?)

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)