scientific article; zbMATH DE number 1405643

MaRDI QIDQ4938622zbMATH OpenFDO

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

Publication date 25 April 2000

zbMATH Keywords

decidabilitylinear temporal logicmodel checkingmodel measuringparametric temporal logicPSPACE complexity

Mathematics Subject Classification ID

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

Recommendations

• Parametric temporal logic for “model measuring”
• Some results on parametric temporal logic
• Parametric linear dynamic logic
• Parametric linear dynamic logic
• Monitoring parametric temporal logic

Cited in

(14)

• Some results on parametric temporal logic
• Parameterized linear temporal logics meet costs: still not costlier than LTL
• Monotonic hybrid systems
• From model checking to model measuring
• Monitoring parametric temporal logic
• Parametric LTL on Markov chains
• Parametric temporal logic for “model measuring”
• Optimal bounds in parametric LTL games
• Efficient parametric identification for STL
• Parametric metric interval temporal logic
• Parametric linear dynamic logic
• Analog property checkers: a DDR2 case study
• Collecting statistics over runtime executions
• Robust parametric reachability for timed automata

This page was built for publication:

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