Author:
Ciancia Vincenzo,Latella Diego,Loreti Michele,Massink Mieke
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13
2. Weak Simplicial Bisimilarity for Polyhedral Models and SLCS $$_\eta $$;Lecture Notes in Computer Science;2024
3. Certified Control for Train Sign Classification;Electronic Proceedings in Theoretical Computer Science;2023-11-15
4. A toolchain for strategy synthesis with spatial properties;International Journal on Software Tools for Technology Transfer;2023-11-02
5. Requirements for Designing Kind Spaces;2023 IEEE 31st International Requirements Engineering Conference Workshops (REW);2023-09