On the Interval-Bound Problem for Weighted Timed Automata

DOI10.1007/978-3-642-21254-3_36zbMath1330.68177OpenAlexW16323886MaRDI QIDQ3004604

Karin Quaas

Publication date: 3 June 2011

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21254-3_36

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (4)

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Energy Büchi problems ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: On the Interval-Bound Problem for Weighted Timed Automata