Parametric Metric Interval Temporal Logic
From MaRDI portal
Publication:3564866
DOI10.1007/978-3-642-13089-2_21zbMath1284.03148OpenAlexW1576868885MaRDI QIDQ3564866
Salvatore La Torre, Barbara Di Giampaolo, Margherita Napoli
Publication date: 26 May 2010
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-13089-2_21
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)
Related Items (5)
Automata-theoretic decision of timed games ⋮ Optimal bounds in parametric LTL games ⋮ Unnamed Item ⋮ Parametric metric interval temporal logic ⋮ Decision problems for lower/upper bound parametric timed automata
This page was built for publication: Parametric Metric Interval Temporal Logic
