PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Aréchiga, Nikos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Simulation-guided lyapunov analysis for hybrid dynamical systems.

, , , und . HSCC, Seite 133-142. ACM, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Aréchiga, Nikos
Eine Person hinzufügen mit dem Namen Aréchiga, Nikos
 

Weitere Publikationen von Autoren mit dem selben Namen

Better AI through Logical Scaffolding., , , und . CoRR, (2019)Specifying Safety of Autonomous Vehicles in Signal Temporal Logic.. IV, Seite 58-63. IEEE, (2019)Learning-Based Abstractions for Nonlinear Constraint Solving., , , und . IJCAI, Seite 592-599. ijcai.org, (2017)Using theorem provers to guarantee closed-loop system properties., , , und . ACC, Seite 3573-3580. IEEE, (2012)Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning., , , und . CoRR, (2019)Building a distributed robot garden., , , , , , , , , und 8 andere Autor(en). IROS, Seite 1509-1516. IEEE, (2009)Forward invariant cuts to simplify proofs of safety., , , , und . EMSOFT, Seite 227-236. IEEE, (2015)Backpropagation for Parametric STL., , und . IV, Seite 185-192. IEEE, (2019)Indoor robot gardening: design and implementation., , , , , , , , , und 8 andere Autor(en). Intelligent Service Robotics, 3 (4): 219-232 (2010)Efficient statistical validation of machine learning systems for autonomous driving., , , , , und . ICCAD, Seite 36. ACM, (2016)