. (2017). Lagrangian Reachabililty. Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}. Presented at the. https://doi.org/10.1007/978-3-319-63387-9_19
Radu Grosu
First name
Radu
Last name
Grosu
. (2017). Quantitative Regular Expressions for Arrhythmia Detection Algorithms. International Conference on Computational Methods in Systems Biology. Presented at the. Darmstadt, Germany : Springer, Cham. https://doi.org/https://doi.org/10.1007/978-3-319-67471-1_2 (Original work published 2017)
. (2018). Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science. https://doi.org/https://doi.org/10.1016/j.tcs.2018.02.005 (Original work published 2018)
. (2018). Neural State Classification for Hybrid Systems. Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018). Presented at the. Springer-Verlag.
. (2018). Dynamic Network Model from Partial Observations. Corr, abs/1805.10616. Retrieved de http://arxiv.org/abs/1805.10616
. (2018). An Algebraic Framework for Runtime Verification. Corr, abs/1802.03775. Retrieved de http://arxiv.org/abs/1802.03775
. (2018). Unsupervised Wafermap Patterns Clustering via Variational Autoencoders. 2018 International Joint Conference on Neural Networks (IJCNN). Presented at the. Rio, Brasil: IEEE. (Original work published 2018)
. (2021). Adversarial Training is Not Ready for Robot Learning.
. (2020). On The Verification of Neural ODEs with Stochastic Guarantees.
. (2020). Liquid Time-constant Networks.