Paolo Pulcini

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Temporal Properties

Transition Systems

Finite State Machines

Top Venues

Publications

Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. RV (2023)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
Stochastic Variational Smoothed Model Checking. CoRR (2022)