. (2015). SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. Presented at the. New York, NY, USA: ACM. https://doi.org/10.1145/2728606.2728633
Radu Grosu
First name
Radu
Last name
Grosu
. (2016). Bifurcation Analysis of Cardiac Alternans Using δ -Decidability. CMSB. Presented at the. Springer. Retrieved de http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html#IslamBKCCFGJS16
. (2018). Declarative vs Rule-based Control for Flocking Dynamics. Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Presented at the. New York, NY, USA: ACM. https://doi.org/10.1145/3167132.3167222
. (2018). OpenUAV: A UAV Testbed for the CPS and Robotics Community. Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems. Presented at the. Piscataway, NJ, USA: IEEE Press. https://doi.org/10.1109/ICCPS.2018.00021
. (2020). A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits. Proceedings of the 37th International Conference on Machine Learning. Presented at the. PMLR. Retrieved de http://proceedings.mlr.press/v119/hasani20a.html (Original work published 13–18 Jul C.E.)
. (2020). Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme. 2020 IEEE International Conference on Robotics and Automation (ICRA). Presented at the. https://doi.org/10.1109/ICRA40945.2020.9196608
. (2016). Cybercardia project: Modeling, verification and validation of implantable cardiac devices. 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). Presented at the. IEEE.
. (2019). Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science, 765, 158–169.
. (2019). From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday.