A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems Journal Article
In: Logical Methods in Computer Science, vol. 18, 2022.
Adversarial Attacks on Protein Language Models Journal Article
In: bioRxiv, 2022.
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes Journal Article
In: arXiv preprint arXiv:2211.02375, 2022.
Efficient extraction of seismic reflection with Deep Learning Journal Article
In: Computers & Geosciences, vol. 166, pp. 105190, 2022.
Graph Neural Networks for Propositional Model Counting Journal Article
In: arXiv preprint arXiv:2205.04423, 2022.
Jump Longer to Jump Less: Improving Dynamic Boundary Projection with-Scaling Inproceedings
In: International Conference on Quantitative Evaluation of Systems, pp. 150–170, 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.
Neural predictive monitoring for collective adaptive systems Inproceedings
In: International Symposium on Leveraging Applications of Formal Methods, pp. 30–46, Springer, Cham 2022.
Stochastic Variational Smoothed Model Checking Journal Article
In: arXiv preprint arXiv:2205.05398, 2022.
Variance Reduction in Stochastic Reaction Networks using Control Variates Incollection
In: Principles of Systems Design, pp. 456–474, Springer, Cham, 2022.
On the Robustness of Bayesian Neural Networks to Adversarial Attacks Journal Article
In: arXiv preprint arXiv:2207.06154, 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.
Polarity assessment of reflection seismic data: a Deep Learning approach Journal Article
In: Bulletin of Geophysics and Oceanography Vol, vol. 63, no. 4, pp. 693–700, 2022.
Robot Navigation in Crowded Environments: a Reinforcement Learning Approach Journal Article
In: 2022.
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems (preprint) Journal Article
In: 2021.
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.
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models Inproceedings
In: International Conference on Quantitative Evaluation of Systems, pp. 351–371, 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.
Analysis of Markov jump processes under terminal constraints Inproceedings
In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 210–229, Springer, Cham 2021.
At the boundaries of syntactic prehistory Journal Article
In: Philosophical Transactions of the Royal Society B, vol. 376, no. 1824, pp. 20200197, 2021.