scientific article; zbMATH DE number 7058776
From MaRDI portal
Publication:5377470
zbMath1421.68092arXiv1701.08524MaRDI QIDQ5377470
David Cachera, Uli Fahrenberg, Axel Legay
Publication date: 24 May 2019
Full work available at URL: https://arxiv.org/abs/1701.08524
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Energy Büchi problems ⋮ Optimal and robust controller synthesis using energy timed automata with uncertainty
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Handbook of weighted automata
- An algebra of hybrid systems
- A completeness theorem for Kleene algebras and the algebra of regular events
- On iteration semiring-semimodule pairs.
- Towards an Algebra for Real-Time Programs
- Timed automata with observers under energy constraints
- 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
- Kleene Algebras and Semimodules for Energy Problems
- An omega-Algebra for Real-Time Energy Problems
- An Algebraic Approach to Energy Problems I — *-Continuous Kleene ω-Algebras
- An Algebraic Approach to Energy Problems II — The Algebra of Energy Functions
This page was built for publication:
