1446288

biblio

Visible to the public Automatic synthesis of cooperative multi-agent systems

biblio

Visible to the public Learning-based design of fault-tolerant cooperative multi-agent systems

biblio

Visible to the public Learning based supervisor synthesis of pomdp for pctl specifications

biblio

Visible to the public Achieving fault-tolerance and safety of discrete-event systems through learning

biblio

Visible to the public Performance guaranteed human-robot collaboration through correct-by-design