Nikos Arechiga
Nikos Arechiga
Toyota InfoTechnology Center
Geverifieerd e-mailadres voor us.toyota-itc.com
Titel
Geciteerd door
Geciteerd door
Jaar
Simulation-guided lyapunov analysis for hybrid dynamical systems
J Kapinski, JV Deshmukh, S Sankaranarayanan, N Arechiga
Proceedings of the 17th international conference on Hybrid systems …, 2014
1102014
Learning imbalanced datasets with label-distribution-aware margin loss
K Cao, C Wei, A Gaidon, N Arechiga, T Ma
Advances in Neural Information Processing Systems, 1567-1578, 2019
612019
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
582016
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
542009
Using theorem provers to guarantee closed-loop system properties
N Aréchiga, SM Loos, A Platzer, BH Krogh
2012 American Control Conference (ACC), 3573-3580, 2012
342012
Indoor robot gardening: design and implementation
N Correll, N Arechiga, A Bolger, M Bollini, B Charrow, A Clayton, ...
Intelligent Service Robotics 3 (4), 219-232, 2010
242010
Using verified control envelopes for safe controller design
N Aréchiga, B Krogh
2014 American Control Conference, 2918-2923, 2014
152014
ADAS virtual prototyping with the OpenMETA toolchain
S Eisele, M Yamaura, N Arechiga, S Shiraishi, J Hite, J Scott, S Neema, ...
SAE International Journal of Passenger Cars-Electronic and Electrical …, 2016
102016
Adas virtual prototyping using modelica and unity co-simulation via openmeta
M Yamaura, N Arechiga, S Shiraishi, S Eisele, J Hite, S Neema, J Scott, ...
Proceedings of Japanese Modelica Conference, 2016
92016
Proving critical properties of Simulink models
AB Hocking, MA Aiello, JC Knight, N Aréchiga
2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016
92016
Efficient statistical validation of machine learning systems for autonomous driving
W Shi, MB Alawieh, X Li, H Yu, N Arechiga, N Tomatsu
Proceedings of the 35th International Conference on Computer-Aided Design, 1-8, 2016
82016
Specifying safety of autonomous vehicles in signal temporal logic
N Arechiga
2019 IEEE Intelligent Vehicles Symposium (IV), 58-63, 2019
72019
Forward invariant cuts to simplify proofs of safety
N Aréchiga, J Kapinski, JV Deshmukh, A Platzer, B Krogh
2015 International Conference on Embedded Software (EMSOFT), 227-236, 2015
62015
Backpropagation for parametric STL
K Leung, N Aréchiga, M Pavone
2019 IEEE Intelligent Vehicles Symposium (IV), 185-192, 2019
52019
Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning
X Qin, N Aréchiga, A Best, J Deshmukh
arXiv preprint arXiv:1910.13645, 2019
42019
Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping
S Dai, J Hite, T Masuda, Y Kashiba, N Arechiga, S Shiraishi, S Eisele, ...
2017 IEEE International Symposium on Software Reliability Engineering …, 2017
42017
Learning-based abstractions for nonlinear constraint solving
S Dathathri, N Arechiga, S Gao, RM Murray
International Joint Conferences on Artificial Intelligence, 2017
42017
Osiris: A tool for abstraction and verification of control software with lookup tables
N Aréchiga, S Dathathri, S Vernekar, N Kathare, S Gao, S Shiraishi
Proceedings of the 1st International Workshop on Safe Control of Connected …, 2017
42017
Numerically-aided deductive safety proof for a powertrain control system
N Aréchiga, J Kapinski, JV Deshmukh, A Platzer, B Krogh
Electronic Notes in Theoretical Computer Science 317, 19-25, 2015
42015
Proving properties of simulink models that include discrete valued functions
AB Hocking, MA Aiello, JC Knight, S Shiraishi, M Yamaura, N Arechiga
SAE Technical Paper, 2016
32016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20