Robust Sampling for MITL Specifications

DOI10.1007/978-3-540-75454-1_12MaRDI QIDQ3510841zbMATH OpenOpenAlexFDO

Authors Georgios E. Fainekos, George Pappas

Publication date 3 July 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75454-1_12

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Robustness of temporal logic specifications for continuous-time signals
• A theory of sampling for continuous-time metric temporal logic
• A sampling approach to the analysis of metric temporal logic
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• Timed-automata-based verification of MITL over signals

Cited in

(7)

• Sampling polynomial trajectories for LTL verification
• System design of stochastic models using robustness of temporal properties
• A theory of sampling for continuous-time metric temporal logic
• A sampling approach to the analysis of metric temporal logic
• Temporal logic robustness for general signal classes
• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
• Robustness of temporal logic specifications for continuous-time signals

This page was built for publication: Robust Sampling for MITL Specifications

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