Parametric metric interval temporal logic
From MaRDI portal
Publication:483304
DOI10.1016/j.tcs.2014.11.019zbMath1317.68112MaRDI 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
68Q25: Analysis of algorithms and problem complexity
03D05: Automata and formal grammars in connection with logical questions
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
03B44: Temporal logic
Related Items
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