SpaTeL

DOI10.1145/2728606.2728633zbMath1366.68170OpenAlexW1974775743MaRDI QIDQ2988938

Austin Jones, Radu Gros, Iman Haghighi, Calin Belta, Zhaodan Kong, Ezio Bartocci

Publication date: 19 May 2017

Published in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

zbMATH Keywords

statistical model checkingparameter synthesisnetworked dynamical systemsspatial temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (8)

Geometric Model Checking of Continuous Space ⋮ Back-and-forth in space: on logics and bisimilarity in closure spaces ⋮ Minimisation of spatial models using branching bisimilarity ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Unnamed Item ⋮ Spatial Logic and Spatial Model Checking for Closure Spaces ⋮ System design of stochastic models using robustness of temporal properties ⋮ An STL-based formulation of resilience in cyber-physical systems

Cites Work

• Unnamed Item
• Unnamed Item
• On Fixed Points of Strictly Causal Functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• Hybrid Systems: Computation and Control

This page was built for publication: SpaTeL