scientific article; zbMATH DE number 7453076
From MaRDI portal
Publication:5020522
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/1909.07656
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Unnamed Item
- Unnamed Item
- Energy parity games
- Automata, logics, and infinite games. A guide to current research
- Introduction to Coalgebra
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Parity Automata for Quantitative Linear Time Logics
- From Branching to Linear Time, Coalgebraically
- A Coalgebraic Approach to Linear-Time Logics
- Parity and Streett Games with Costs
- Rudiments of \(\mu\)-calculus
This page was built for publication:
