ArshiA Akhavan
ArshiA Akhavan
Home
Honors
Academic Services
Industrial Experience
Projects
Service
Publications
Skills
Contact
Light
Dark
Automatic
Temporal Logic Synthesis
Explainable Rational Synthesis in Multi-Agent Systems: A Compositional Approach
We are currently developing novel algorithms for explainable rational synthesis in multi-agent systems (MAS) with Linear Temporal Logic …
ArshiA Akhavan
Cite
×