Search filters

List of works by Luca Bortolussi

A Robust Genetic Algorithm for Learning Temporal Specifications from Data

scientific article published in 2018

CARMA: Collective Adaptive Resource-sharing Markovian Agents

scientific article published on 28 September 2015

Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures

scientific article published on 05 January 2024

Monitoring Spatio-Temporal Properties (Invited Tutorial)

scientific article published in 2020

Monitoring mobile and spatially distributed cyber-physical systems

scientific article published on 29 September 2017

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

scientific article published in 2020

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

scientific article published in 2015

Signal Convolution Logic

scientific article published in 2018

jSSTL - A Tool to Monitor Spatio-Temporal Properties

scientific article published in 2017

Paulina is supported by:

About Paulina

Help