Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures Journal Article
In: Proceedings of the ACM on Programming Languages, vol. 8, no. POPL, pp. 1882–1912, 2024.
Generative abstraction of Markov population processes Journal Article
In: Theoretical Computer Science, vol. 977, pp. 114169, 2023.
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking Inproceedings
In: International Conference on Runtime Verification, pp. 45–65, Springer 2023.
Learning-based approaches to predictive monitoring with conformal statistical guarantees Inproceedings
In: International Conference on Runtime Verification, pp. 461–487, Springer 2023.
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models Inproceedings
In: International Conference on Quantitative Evaluation of Systems, pp. 307–310, Springer 2023.
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders Inproceedings
In: International Conference on Quantitative Evaluation of Systems, pp. 143–147, Springer 2023.
Data symmetries and Learning in fully connected neural networks Journal Article
In: IEEE Access, 2023.
Conformal quantitative predictive monitoring of STL requirements for stochastic processes Inproceedings
In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, pp. 1–11, 2023.
CARSO: Blending Adversarial Training and Purification Improves Adversarial Robustness Journal Article
In: arXiv preprint arXiv:2306.06081, 2023.
Robot Navigation in Crowded Environments: A Reinforcement Learning Approach Journal Article
In: Machines, vol. 11, no. 2, pp. 268, 2023.
Machine learning approaches for ECG-based models: discrimination and calibration for atrial fibrillation prediction Journal Article
In: 2023.
MoonLight: a lightweight tool for monitoring spatio-temporal properties Journal Article
In: International Journal on Software Tools for Technology Transfer, pp. 1–15, 2023.
Comparison of discrimination and calibration performance of ECG-based machine learning models for prediction of new-onset atrial fibrillation Journal Article
In: BMC Medical Research Methodology, vol. 23, no. 1, pp. 169, 2023.
Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints Journal Article
In: arXiv preprint arXiv:2308.16534, 2023.
Deep Learning Survival Model to Predict Atrial Fibrillation From ECGs and EHR Data Inproceedings
In: EPIA Conference on Artificial Intelligence, pp. 222–233, Springer Nature Switzerland Cham 2023.
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems Journal Article
In: Logical Methods in Computer Science, vol. 18, 2022.
Variance Reduction in Stochastic Reaction Networks using Control Variates Incollection
In: Principles of Systems Design, pp. 456–474, Springer, Cham, 2022.
Learning model checking and the kernel trick for signal temporal logic on stochastic processes Inproceedings
In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 281–300, Springer, Cham 2022.
Graph Neural Networks for Propositional Model Counting Journal Article
In: arXiv preprint arXiv:2205.04423, 2022.
Deep artificial neural network for prediction of atrial fibrillation through the analysis of 12-leads standard ECG Journal Article
In: arXiv preprint arXiv:2202.05676, 2022.