scientific article; zbMATH DE number 7437709
From MaRDI portal
Publication:5014442
zbMath1476.68129arXiv1509.03015MaRDI QIDQ5014442
Axel Legay, Uli Fahrenberg, Zoltán Ésik
Publication date: 2 December 2021
Full work available at URL: https://arxiv.org/abs/1509.03015
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Complete lattices, completions (06B23) Semantics in the theory of computing (68Q55)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Handbook of weighted automata
- A completeness theorem for Kleene algebras and the algebra of regular events
- Energy parity games
- The complexity of multi-mean-payoff and multi-energy games
- On iteration semiring-semimodule pairs.
- Optimal Bounds for Multiweighted and Parametrised Energy Games
- Timed automata with observers under energy constraints
- Energy and mean-payoff timed games
- On the Interval-Bound Problem for Weighted Timed Automata
- Energy Games in Multiweighted Automata
- *-Continuous Kleene $$\omega $$-Algebras
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Energy and Mean-Payoff Games with Imperfect Information
- Kleene Algebras and Semimodules for Energy Problems
This page was built for publication:
