662 citations
- Institute for Complex SystemsIT13 papers
- University of FlorenceIT8 papers
- Boston UniversityUS6 papers
- KU LeuvenBE5 papers
- London Institute for Mathematical SciencesGB5 papers
- Sapienza University of RomeIT5 papers
- European Centre for Living TechnologyIT4 papers
- University of TrentoIT4 papers
- Yeshiva UniversityUS4 papers
- Ca' Foscari University of VeniceIT3 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Centro Ricerche Enrico FermiIT3 papers
5 papers · 1 filter
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures
Francesca Randone, Luca Bortolussi, Emilio Incerto +1
Computing the posterior distribution of a probabilistic program is a hard task for which no one-fit-for-all solution exists. We propose Gaussian Semantics, which approximates the e…
Computation of safe disturbance sets using implicit RPI sets
Sampath Kumar Mulagaleti, Alberto Bemporad, Mario Zanon
Given a stable linear time-invariant (LTI) system subject to output constraints, we present a method to compute a set of disturbances such that the reachable set of outputs matches…
Phase-field modelling of failure in ceramics with multiscale porosity
Riccardo Cavuoto, Pietro Lenarda, Anna Tampieri +2
Many stiff biological materials exhibiting outstanding compressive strength/weight ratio are characterized by high porosity, spanning different size-scales, typical examples being…
How to Model Privacy Threats in the Automotive Domain
Mario Raciti, Giampaolo Bella
This paper questions how to approach threat modelling in the automotive domain at both an abstract level that features no domain-specific entities such as the CAN bus and, separate…
Specification-Guided Critical Scenario Identification for Automated Driving
Adam Molin, Edgar A. Aguilar, Dejan Ničković +3
To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framewor…