Verification Series
Journal Club: On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours
21st June 2018, 14:00
EEE 5.07
Nicolas Berthier
Abstract
I will report on a recent paper discussing the links between Reactive Synthesis and Supervisory Control Synthesis, two families of problems that have been addressed in parallel by two research communities that previously acted almost like they ignored each other. In the presentation, I will try to highlight the similarities and differences between these problems.
For those interested, I attach the paper that I am going to discuss; although the presentation shall mostly consist in a glorious farandole of automata of various sorts.
Maintained by Alexei Lisitsa