Alessandro Cimatti

Latest

• Expressiveness of Extended Bounded Response LTL
• Reactive Synthesis from Extended Bounded Response LTL Specifications