Robust Sampling for MITL Specifications

DOI10.1007/978-3-540-75454-1_12zbMath1141.68464OpenAlexW2128952742MaRDI QIDQ3510841

Georgios E. Fainekos, George J. 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)

Related Items (3)

Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures ⋮ Robustness of temporal logic specifications for continuous-time signals ⋮ System design of stochastic models using robustness of temporal properties

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