( en | de | ru )

 

Disambiguierung von "Aréchiga, Nikos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Backpropagation for Parametric STL.

, , und . IV, Seite 185-192. IEEE, (2019)

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.

Blagoje Nikosavi

Nikos Green

Nikos Wallburger

Nikos Papamichail

Nikos Parlavantzas

 

Weitere Publikationen von Autoren mit dem selben Namen

Forward invariant cuts to simplify proofs of safety., , , , und . EMSOFT, Seite 227-236. IEEE, (2015)Building a distributed robot garden., , , , , , , , , und 8 andere Autor(en). IROS, Seite 1509-1516. IEEE, (2009)Back-propagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods., , und . CoRR, (2020)Backpropagation for Parametric STL., , und . IV, Seite 185-192. IEEE, (2019)Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods., , und . WAFR, Volume 17 von Springer Proceedings in Advanced Robotics, Seite 432-449. Springer, (2021)A Safe Preference Learning Approach for Personalization With Applications to Autonomous Vehicles., , , , und . IEEE Robotics Autom. Lett., 9 (5): 4226-4233 (Mai 2024)Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles., , , , und . HSCC, Seite 5:1-5:11. ACM, (2024)Learning-Based Abstractions for Nonlinear Constraint Solving., , , und . IJCAI, Seite 592-599. ijcai.org, (2017)Specifying Safety of Autonomous Vehicles in Signal Temporal Logic.. IV, Seite 58-63. IEEE, (2019)Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning., , , und . CoRR, (2019)