Parametric metric interval temporal logic
DOI10.1016/j.tcs.2014.11.019zbMath1317.68112OpenAlexW2030412184MaRDI QIDQ483304
Salvatore La Torre, Margherita Napoli, Barbara Di Giampaolo
Publication date: 16 December 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2014.11.019
Analysis of algorithms and problem complexity (68Q25) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)
Related Items (1)
Cites Work
- Unnamed Item
- Optimal bounds in parametric LTL games
- Parametric timing analysis for real-time systems
- Minimum and maximum delay problems in real-time systems
- Model-checking in dense real-time
- Timed verification of the generic architecture of a memory circuit using parametric timed automata
- From liveness to promptness
- Decision problems for lower/upper bound parametric timed automata
- Finite automata on timed \(\omega\)-trees
- Timed tree automata with an application to temporal logic.
- Linear parametric model checking of timed automata
- Advances in Parametric Real-Time Reasoning
- Parametric temporal logic for “model measuring”
- Parametric Metric Interval Temporal Logic
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
- The benefits of relaxing punctuality
- Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games
- Parametric real-time reasoning
- Durations and parametric model-checking in timed automata
- Real-Time Model-Checking: Parameters everywhere
- Integer Parameter Synthesis for Timed Automata
This page was built for publication: Parametric metric interval temporal logic
