Parametric temporal logic for “model measuring”

DOI10.1145/377978.377990zbMATH Open1171.68544OpenAlexW2048780543MaRDI QIDQ3549124FDOQ3549124

Authors Kousha Etessami, Salvatore La Torre, Doron Peled, Rajeev Alur

Publication date 21 December 2008

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/377978.377990

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• Publication:4938622
• Some results on parametric temporal logic
• Parametric linear dynamic logic
• Parametric linear dynamic logic
• Monitoring parametric temporal logic

Cited in

(36)

• Decision problems for lower/upper bound parametric timed automata
• scientific article; zbMATH DE number 1405643 (Why is no real title available?)
• Parameterized linear temporal logics meet costs: still not costlier than LTL
• Distributed PROMPT-LTL synthesis
• Optimizing Winning Strategies in Regular Infinite Games
• Optimal bounds in parametric LTL games
• A survey of timed automata for the development of real-time systems
• Decidable first-order transition logics for PA-processes
• Parametric interval temporal logic over infinite words
• Efficient parametric identification for STL
• Time window temporal logic
• The fixed-parameter tractability of model checking concurrent systems
• Some results on parametric temporal logic
• Prompt interval temporal logic
• An interface theory for service-oriented design
• Temporal specifications with accumulative values
• Compositional branching-time measurements
• Taming large bounds in synthesis from bounded-liveness specifications
• Automata-theoretic decision of timed games
• Parametric LTL on Markov chains
• From liveness to promptness
• Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time
• Optimal strategies in weighted limit games
• Parameterized linear temporal logics meet costs: still not costlier than LTL
• A fuzzy real-time temporal logic
• Parametric linear dynamic logic
• Parametric linear dynamic logic
• Time-budgeting: a component based development methodology for real-time embedded systems
• Parametric metric interval temporal logic
• Robust, expressive, and quantitative linear temporal logics: pick any two for free
• Quantifying Bounds in Strategy Logic
• Robust, expressive, and quantitative linear temporal logics: pick any two for free
• Distributed synthesis for parameterized temporal logics
• From model checking to model measuring
• Monitoring parametric temporal logic
• What's decidable about parametric timed automata?

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Parametric temporal logic for “model measuring”

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3549124)