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.
Neural predictive monitoring for collective adaptive systems Inproceedings
In: International Symposium on Leveraging Applications of Formal Methods, pp. 30–46, Springer, Cham 2022.
Abstraction of Markov Population Dynamics via Generative Adversarial Nets Inproceedings
In: International Conference on Computational Methods in Systems Biology, pp. 19–35, Springer, Cham 2021.
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems Journal Article
In: IFAC-PapersOnLine, vol. 54, no. 5, pp. 223–228, 2021.
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches Journal Article
In: International Journal on Software Tools for Technology Transfer, vol. 23, no. 4, pp. 615–640, 2021.
Neural predictive monitoring under partial observability Inproceedings
In: International Conference on Runtime Verification, pp. 121–141, Springer, Cham 2021.
Bayesian Neural Predictive Monitoring Inproceedings
In: OVERLAY, pp. 95–100, 2020.
Model Predictive Control of Glucose Concentration Based on Signal Temporal Logic Specifications with Unknown-Meals Occurrence Journal Article
In: Cybern. Syst., vol. 51, no. 4, pp. 426–441, 2020.
Bayesian abstraction of Markov population models Inproceedings
In: International Conference on Quantitative Evaluation of Systems, pp. 259–276, Springer, Cham 2019.
Conformal predictions for hybrid system state classification Incollection
In: From Reactive Systems to Cyber-Physical Systems, pp. 225–241, Springer, Cham, 2019.
Neural predictive monitoring Inproceedings
In: International Conference on Runtime Verification, pp. 129–147, Springer, Cham 2019.
Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy Inproceedings
In: 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019, Paris, France, April 23-26, 2019, pp. 314–319, IEEE, 2019.
Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications Inproceedings
In: 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019, Paris, France, April 23-26, 2019, pp. 714–719, IEEE, 2019.