Games for Efficient Supervisor Synthesis
Paper in proceeding, 2023
Supervisory control
Discrete event systems
Game theory
Author
Prabhat Kumar Jha
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Daniel Hausmann
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Nir Piterman
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Proceedings of the IEEE Conference on Decision and Control
07431546 (ISSN) 25762370 (eISSN)
Vol. 62 7228-7233Singapore, ,
Areas of Advance
Information and Communication Technology
Roots
Basic sciences
Subject Categories
Control Engineering
Computer Science