Synthesis with Rational Environments

Multi-Agent Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17130-2_15 ◽

2015 ◽

pp. 219-235 ◽

Author(s):

Orna Kupferman ◽

Giuseppe Perelli ◽

Moshe Y. Vardi

Download Full-text