Author:
Brenguier Romain,Raskin Jean-François,Sankur Ocan
Funder
European Research Council
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
37 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. Stackelberg-Pareto Synthesis;ACM Transactions on Computational Logic;2024-04-16
3. Most General Winning Secure Equilibria Synthesis in Graph Games;Lecture Notes in Computer Science;2024
4. Auction-Based Scheduling;Lecture Notes in Computer Science;2024
5. Synthesizing Computable Functions from Rational Specifications Over Infinite Words;International Journal of Foundations of Computer Science;2023-11-15