59 citations · 72 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
Synthesis of Run-To-Completion Controllers for Discrete Event Systems
Yehia Abd Alrahman, Victor Braberman, Nicolás D'Ippolito +2
A controller for a Discrete Event System must achieve its goals despite that its environment being capable of resolving race conditions between controlled and uncontrolled events.A…
cs.RO2020
Iterator-Based Temporal Logic Task Planning
Sebastián Zudaire, Martín Garrett, Sebastián Uchitel
Temporal logic task planning for robotic systems suffers from state explosion when specifications involve large numbers of discrete locations. We provide a novel approach, particul…