Poster Abstract: Permissiveness for Strategy Adaptation

Ashwani Anand,Satya Prakash Nayak,Anne-Kathrin Schmuck

HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control（2023）

引用 0|浏览0

暂无评分

摘要

This paper presents a new method to automatically compute permissive strategies and permissive assumptions in ω -regular two-player games on graphs to enable strategy adaptation both during synthesis and execution of distributed symbolic controllers.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要