Funder
Deutsche Forschungsgemeinschaft Project
European Research Council
ERC Synergy Grant ImPACT
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Contract-Based Distributed Logical Controller Synthesis;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
2. Information Flow Guided Synthesis with Unbounded Communication;Lecture Notes in Computer Science;2024
3. Compositional Value Iteration with Pareto Caching;Lecture Notes in Computer Science;2024
4. Most General Winning Secure Equilibria Synthesis in Graph Games;Lecture Notes in Computer Science;2024
5. Auction-Based Scheduling;Lecture Notes in Computer Science;2024