The following pages link to Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications:
Displayed 2 items.