research
∙
01/25/2023
Lecture Notes on Monadic First- and Second-Order Logic on Strings
These notes present the essentials of first- and second-order monadic lo...
share
research
∙
03/28/2022
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport
Interoperability is a long-standing challenge slowing down the digitaliz...
research
∙
04/26/2021
Improved Bounded Model Checking of Timed Automata
Timed Automata (TA) are a very popular modeling formalism for systems wi...
research
∙
02/24/2021
Reconstruction, with tunable sparsity levels, of shear-wave velocity profiles from surface wave data
The analysis of surface wave dispersion curves is a way to infer the ver...
research
∙
07/23/2020
Statistical Model Checking of Human-Robot Interaction Scenarios
Robots are soon going to be deployed in non-industrial environments. Bef...
research
∙
07/23/2020
Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation
Human-Robot Collaboration (HRC) is rapidly replacing the traditional app...
research
∙
06/22/2018
A Flexible Approach for Checking Timed Automata on Continuous Time Semantics
Timed Automata (TA) are used to represent systems when the interest is t...
research
∙
07/25/2008