Parametric metric interval temporal logic

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

zbMATH Keywords

temporal logic; (parametric) timed automata; parametric real-time verification

Mathematics Subject Classification ID

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

Parametric linear dynamic logic

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