2007 Index IEEE Transactions on Robotics Vol. 23 JJ Abbott, AA Abouzeid, M Ahmadi, R Alami, M Alberich-Carraminana, ... IEEE Transactions on Robotics 23 (6), 1309, 2007 | | 2007 |
2010 Index IEEE Transactions on Industrial Informatics Vol. 6 L Abeni, K Ahmad, B Ai, K Akesson, D Andrade, H Aydin, Y Bai, P Baruah, ... IEEE Transactions on Industrial Informatics 6 (4), 785, 2010 | | 2010 |
2010 Index IEEE Transactions on Robotics Vol. 26 JJ Abbott, V Agrawal, M Ahmadi, A Akce, G Allibert, J Allington, F Alouges, ... IEEE Transactions on Robotics 26 (6), 1113, 2010 | | 2010 |
2012 Index IEEE Transactions on Robotics Vol. 28 G Agamennoni, F Aghili, J Agnus, SK Agrawal, R Alami, A Albu-Schaffer, ... IEEE Transactions on Robotics 28 (6), 1441, 2012 | | 2012 |
2016 Index IEEE Transactions on Control of Network Systems Vol. 3 S Aeron, V Angelakis, M Arcak, T Asai, C Belta, L Brinon-Arranz, F Bullo, ... IEEE Transactions on Control of Network Systems 3 (4), 1, 2016 | | 2016 |
2017 Index IEEE Control Systems Vol. 37 C Ahn, B Alomair, B Anderson, M Annergren, A Antoulas, M Arbib, ... IEEE Control Systems Magazine 37 (6), 1, 2017 | | 2017 |
2018 Index IEEE Transactions on Control of Network Systems Vol. 5 A Abate, W Abbas, R Abdolee, EH Abed, A Adaldo, F Alajaji, R Albert, ... IEEE Transactions on Control of Network Systems 5 (4), 1, 2018 | | 2018 |
3.2 Spatial Temporal Logic Inference, Verification, and Synthesis CA Belta Modeling, Verification, and Control of Complex Systems for Energy Networks, 74, 0 | | |
A control architecture for provably-correct autonomous driving E Aasi, CI Vasile, C Belta 2021 American Control Conference (ACC), 2913-2918, 2021 | 6 | 2021 |
A decision tree approach to data classification using signal temporal logic G Bombara, CI Vasile, F Penedo, H Yasuoka, C Belta Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 166 | 2016 |
A formal approach to deployment of robotic teams in an urban-like environment Y Chen, XC Ding, A Stefanescu, C Belta Distributed Autonomous Robotic Systems: The 10th International Symposium …, 2013 | 28 | 2013 |
A Formal Approach to the Automatic Generation of Ballet Phrases A LaViers, Y Chen, C Belta, M Egerstedt Georgia Institute of Technology, 2011 | | 2011 |
A formal methods approach to interpretable reinforcement learning for robotic planning X Li, Z Serlin, G Yang, C Belta Science Robotics 4 (37), eaay6276, 2019 | 112 | 2019 |
A formal methods approach to pattern recognition and synthesis in reaction diffusion networks E Bartocci, EA Gol, I Haghighi, C Belta IEEE Transactions on Control of Network Systems 5 (1), 308-320, 2016 | 48 | 2016 |
A formal methods approach to pattern synthesis in reaction diffusion systems E Aydın Göl, C Belta | | 2015 |
A formal methods approach to pattern synthesis in reaction diffusion systems EA Gol, E Bartocci, C Belta 53rd IEEE Conference on Decision and Control, 108-113, 2014 | 50 | 2014 |
A formal verification approach to the design of synthetic gene networks B Yordanov, C Belta 2011 50th IEEE Conference on Decision and Control and European Control …, 2011 | 8 | 2011 |
A Framework for Automatic Deployment of Robots in 2D and 3D Environments. M Kloetzer, C Belta IROS, 953-958, 2006 | 19 | 2006 |
A fully automated framework for control of linear systems from LTL specifications M Kloetzer, C Belta International Workshop on Hybrid Systems: Computation and Control, 333-347, 2006 | 82 | 2006 |
A fully automated framework for control of linear systems from temporal logic specifications M Kloetzer, C Belta IEEE Transactions on Automatic Control 53 (1), 287-297, 2008 | 625 | 2008 |