SpaTeL
From MaRDI portal
Publication:2988938
DOI10.1145/2728606.2728633zbMath1366.68170MaRDI 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
statistical model checking; parameter synthesis; networked dynamical systems; spatial temporal logic
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B44: Temporal logic
Related Items
Unnamed Item, A survey of challenges for runtime verification from advanced application domains (beyond software), System design of stochastic models using robustness of temporal properties, Spatial Logic and Spatial Model Checking for Closure Spaces
Cites Work