| Active Perception and Control From Temporal Logic Specifications RR da Silva, V Kurtz, H Lin IEEE Control Systems Letters 3 (4), 1068-1073, 2019 | 24 | 2019 |
| Formal design of robot integrated task and motion planning RR da Silva, B Wu, H Lin 2016 IEEE 55th Conference on Decision and Control (CDC), 6589-6594, 2016 | 14 | 2016 |
| A compact genetic algorithm with elitism and mutation applied to image recognition RR Silva, HS Lopes, CR Erig Lima Advanced Intelligent Computing Theories and Applications. With Aspects of …, 2008 | 13 | 2008 |
| Automatic trajectory synthesis for real-time temporal logic RR da Silva, V Kurtz, H Lin IEEE Transactions on Automatic Control 67 (2), 780-794, 2021 | 12 | 2021 |
| Formal connections between template and anchor models via approximate simulation V Kurtz, RR da Silva, PM Wensing, H Lin 2019 IEEE-RAS 19th International Conference on Humanoid Robots (Humanoids …, 2019 | 11 | 2019 |
| Reactive Integrated Mission and Motion Planning for Mobile Robotic Manipulators A Partovi, RR da Silva, H Lin 2018 Annual American Control Conference (ACC), 3538-3543, 2018 | 10 | 2018 |
| A new mutation operator for the elitism-based compact genetic algorithm RR Silva, HS Lopes, CR Erig Lima Adaptive and Natural Computing Algorithms: 8th International Conference …, 2007 | 10 | 2007 |
| Template matching in digital images using a compact genetic algorithm with elitism and mutation RR Da Silva, CR ERIG LIMA, HS Lopes Journal of Circuits, Systems, and Computers 19 (01), 91-106, 2010 | 8 | 2010 |
| SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments RR da Silva, S Silva, G Dubrovskiy, H Lin arXiv preprint arXiv:1609.07006, 2016 | 7 | 2016 |
| Symbolic Control of Hybrid Systems from Signal Temporal Logic Specifications RR da Silva, V Kurtz, H Lin Guidance, Navigation and Control 1 (02), 2150008, 2021 | 6 | 2021 |
| Active Perception and Control from PrSTL Specifications RR da Silva, V Kurtz, H Lin arXiv preprint arXiv:2111.02226, 2021 | 5 | 2021 |
| Safety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications RR da Silva, H Lin arXiv preprint arXiv:1609.07501, 2016 | 3 | 2016 |
| Combined top-down and bottom-up design of cooperative multi-robot systems RR da Silva, B Wu, J Dai, H Lin arXiv preprint arXiv:1607.07797, 2016 | 3 | 2016 |
| Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications RR da Silva, H Lin arXiv preprint arXiv:1803.11247, 2018 | 2 | 2018 |
| Formal Design of Cooperative Multi-Agent Systems RR da Silva, B Wu, J Dai, H Lin 2016 AAAI Fall Symposium Series, 2016 | 2 | 2016 |
| Estudo e aplicaçao de um algoritmo genético compacto usando elitismo e mutaçao RR Da Silva Master’s thesis, Universidade Technológica Federal do Paraná, 2008 …, 2008 | 2 | 2008 |
| Reactive Integrated Mission and Motion planning A Partovi, RR da Silva, H Lin arXiv preprint arXiv:1711.02201, 2017 | 1 | 2017 |
| Combined Top-Down and Bottom-Up Approaches to Performance-guaranteed Integrated Task and Motion Planning of Cooperative Multi-agent Systems RR da Silva, B Wu, J Dai, H Lin arXiv preprint arXiv:1607.07797, 2016 | 1 | 2016 |
| idSTLPy: A Python Toolbox for Active Perception and Control RR da Silva, K Yadav, H Lin arXiv preprint arXiv:2111.02943, 2021 | | 2021 |
| Active Perception and Control of Intelligent Systems RR da Silva University of Notre Dame, 2021 | | 2021 |
Hai LinElectrical Engineering, University of Notre DameEmail verificata su nd.edu