Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings (FormaliSE 2022)

Who

Livia Lestingi, Giorgio Romeo, Cristian Sbrolli, Pasquale Scarmozzino, Marcello M. Bersani, Matteo Rossi

Track

FormaliSE 2022

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 18 May 2022 10:30 - 11:00 at FormaliSE room - Session 1 Chair(s): Mieke Massink

Livia Lestingi

DEIB, Politecnico di Milano

Italy

Giorgio Romeo

Cristian Sbrolli

Politecnico di Milano

Italy

Pasquale Scarmozzino

Marcello M. Bersani

Politecnico di Milano

Matteo Rossi

Politecnico di Milano

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Wed 18 May
Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:45	Session 1FormaliSE at FormaliSE room Chair(s): Mieke Massink CNR-ISTI Pisa, Italy

10:30 30m Paper		Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings FormaliSE Livia Lestingi DEIB, Politecnico di Milano, Giorgio Romeo , Cristian Sbrolli Politecnico di Milano, Pasquale Scarmozzino , Marcello M. Bersani Politecnico di Milano, Matteo Rossi Politecnico di Milano
11:05 5m Talk		Counterexample-Guided Inductive Repair of Reactive Contracts FormaliSE Soha Hussein University of Minnesota, USA / Ain Shams University, Egypt, Sanjai Rayadurgam University of Minnesota, Stephen McCamant University of Minnesota, USA, Vaibhav Sharma Amazon, Mats Heimdahl University of Minnesota
11:15 30m Paper		Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers FormaliSE Sophie Lathouwers , Marieke Huisman University of Twente

Information for Participants

Wed 18 May 2022 10:30 - 11:45 at FormaliSE room - Session 1 Chair(s): Mieke Massink

Info for room FormaliSE room:

Click here to go to the room on Midspace