Author:
Nenzi Laura,Bortolussi Luca,Ciancia Vincenzo,Loreti Michele,Massink Mieke
Publisher
Springer International Publishing
Reference18 articles.
1. Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.): Handbook of Spatial Logics. Springer, Netherlands (2007)
2. Alur, R., Feder, T., Henzinger, T.: The benefits of relaxing punctuality. J. ACM 43(1), 116–146 (1996)
3. Bartocci, E., Bortolussi, L., Nenzi, L., Sanguinetti, G.: System design of stochastic models using robustness of temporal properties. Theor. Comput. Sci. 587, 3–25 (2015)
4. Bortolussi, L., Nenzi, L.: Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic. In: Proceedings of VALUETOOLS (2014)
5. Lecture Notes in Computer Science;V Ciancia,2014
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic;The International Journal of Robotics Research;2024-01-24
2. QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
3. Monitoring with verified guarantees;International Journal on Software Tools for Technology Transfer;2023-07-11
4. Logic for Timed Agent Network Topologies;2022 IEEE 61st Conference on Decision and Control (CDC);2022-12-06
5. A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems;Logical Methods in Computer Science;2022-01-07