VIDEO DOI: https://doi.org/10.48448/p0bs-hc53

technical paper

AAMAS 2022

May 12, 2022

New Zealand

Controller Synthesis for Omega-Regular and Steady-State Specifications

Please log in to leave a comment

Downloads

SlidesPaperTranscript English (automatic)

Next from AAMAS 2022

How Hard is Bribery in Elections with Randomly Selected Voters
technical paper

How Hard is Bribery in Elections with Randomly Selected Voters

AAMAS 2022

Liangde Tao
Liangde Tao

12 May 2022

Similar lecture

Reactive Synthesis of Dominant Strategies
poster

Reactive Synthesis of Dominant Strategies

AAAI 2023

Giuseppe De GiacomoSasha Rubin
Sasha Rubin and 2 other authors

10 February 2023