Schedule

Friday October 1st, 2021

14:00–16:00 CEST

NOTE: Both the live session and pre-recorded invited talks will be available via the gCon platform upon registration for IROS.

To register, please visit here, then follow these instructions to activate your account.

Welcome and Introductory Remarks

Cristian Ioan-Vasile, Jonathan DeCastro, Xiao Li

Tool Demonstrations

STyLuS*: A Temporal Logic Optimal Control Synthesis Tool for Large-Scale Multi-Robot Systems

Speakers: Yiannis Kantaros and Michael M. Zavlanos

A brief summary of TuLiP: The Temporal Logic Planning Toolbox

Speakers: Ioannis Filippidis and Richard M. Murray

RTLola: Formal Monitoring for CPS

Speaker: Jan Baumeister

Demonstration of LOMAP and TWTL

Speakers: Disha Kamale and Gustavo Andres Cardona Calderon

Temporal Logic Motion Planning with OMPL

Speakers: Thomas Herring, Shlok Sobt and Lydia Kavraki

Panel Session

Panelists: Calin Belta, Lydia Kavraki, Hadas Kress-Gazit, Karen Leung, Marco Pavone, Sanjit Seshia, Dylan Shell and Tichakorn (Nok) Wongpiromsarn

Moderators: Cristian Ioan-Vasile, Jonathan DeCastro and Xiao Li

[Closed Session] Survey Paper Working Session

Following the live session, we will reconvene for an invitation-only follow-on session to discuss the formation of a position or survey paper on formal methods tools, covering the topics discussed in the panel session and featuring the tools presented by the invited speakers and demo presenters.

This session will be hosted on Zoom (details TBA).