Author:
Jobstmann Barbara,Bloem Roderick
Cited by
79 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Perspective Games;ACM Transactions on Computational Logic;2024-01-17
2. Proactive Real-Time First-Order Enforcement;Lecture Notes in Computer Science;2024
3. Specification decomposition for reactive synthesis;Innovations in Systems and Software Engineering;2022-07-18
4. Real-Time Policy Enforcement with Metric First-Order Temporal Logic;Computer Security – ESORICS 2022;2022
5. Synthesis of Compact Strategies for Coordination Programs;Tools and Algorithms for the Construction and Analysis of Systems;2022