Talk "On-the-fly Strategy Synthesis for Event-Clock Linear Temporal Logic on Timed Games! "

by Pierre-Yves Schobbens

Sun, 04 September 2011 at 12:00 pm in Winchester, United Kingdom

Joint work with: Peter Bulychev, Barbara Di Giampaolo, Laurent Doyen, Gilles Geeraerts, Jean-Francois Raskin, Julien Reichert, Tali Sznajder

Abstract: We present a tool for the synthesis of a real-time controller from a timed automaton describing the plant, and a goal expressed in a real-time linear temporal logic. It extends the UPPAAL-TIGA tool by accepting a richer temporal logic. The problem is EXPTIME-complete; so performance is a critical issue. Our on-the-fly algorithm is based on bounded synthesis.