Skip to content
cs-conference-ranking.org

Synthesis of reactive controllers for hybrid systems (keynote).

Richard M. Murray

VenueA*POPL
Year2016
ProceedingsPOPL
DBLP recordconf/popl/Murray16 ↗

Browse the full POPL paper archive.