Luca Geatti

Latest

• Expressiveness of Extended Bounded Response LTL
• Reactive Synthesis from Extended Bounded Response LTL Specifications
• A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL
• One-pass and tree-shaped tableau systems for TPTL and TPTLb+past