Articles with public access mandates - Nikos ArechigaLearn more
Available somewhere: 10
How to model and prove hybrid systems with KeYmaera: a tutorial on safety
JD Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer
International Journal on Software Tools for Technology Transfer 18 (1), 67-91, 2016
Mandates: US National Science Foundation, US Department of Energy, German Research …
Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods
K Leung, N Aréchiga, M Pavone
The International Journal of Robotics Research 42 (6), 356-370, 2023
Mandates: US Department of Defense, US National Aeronautics and Space Administration
Building a distributed robot garden
N Correll, N Arechiga, A Bolger, M Bollini, B Charrow, A Clayton, ...
2009 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2009
Mandates: Swiss National Science Foundation
Indoor robot gardening: design and implementation
N Correll, N Arechiga, A Bolger, M Bollini, B Charrow, A Clayton, ...
Intelligent Service Robotics 3, 219-232, 2010
Mandates: Swiss National Science Foundation
Numerically-robust inductive proof rules for continuous dynamical systems
S Gao, J Kapinski, J Deshmukh, N Roohi, A Solar-Lezama, N Arechiga, ...
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
Mandates: US National Science Foundation, US Department of Defense
Finding label and model errors in perception data with learned observation assertions
D Kang, N Arechiga, S Pillai, PD Bailis, M Zaharia
Proceedings of the 2022 International Conference on Management of Data, 496-505, 2022
Mandates: US National Science Foundation
Learning-Based Abstractions for Nonlinear Constraint Solving.
S Dathathri, N Arechiga, S Gao, RM Murray
IJCAI 17, 592-599, 2017
Mandates: US National Science Foundation, US Department of Defense
Second-Order Sensitivity Analysis for Bilevel Optimization
R Dyro, E Schmerling, N Arechiga, M Pavone
International Conference on Artificial Intelligence and Statistics, 9166-9181, 2022
Mandates: US National Aeronautics and Space Administration
Certified perception for autonomous cars
U Guajardo, A Bryan, N Arechiga, S Campos, J Chow, D Jackson, S Kong, ...
6th Workshop On Monitoring And Testing Of Cyber-Physical Systems,, 2021
Mandates: US National Science Foundation
How to prove complex properties of hybrid systems with KeYmaera: a tutorial
J Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program