Online Meeting (November-December 2020) on BBB

November 20, 9am-11am

• B Srivathsan. Reachability for Updatable Timed Automata made faster
• Leo Henry. Active learning of timed automata with unobservable resets

December 3, 2pm-4.30pm

• Frédéric Herbreteau. Certifying Büchi Emptiness of Timed Automata
• Ocan Sankur.Incremental methods for checking real-time consistency
• "Business" meeting: news, progress on workpackages and deliverables

December 4, 9am-12am

• Julie Parreaux. Reaching Your Goal Optimally by Playing at Random with no Memory.
• Igor Walukiewicz. Partial order reduction for real-time: problems, solutions, and more problems
• Philipp Schlehuber-Caissier. Generalized Timed Büchi Automata (Revisited)