PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Fainekos, Georgios"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS.

, , , und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 67-72. Elsevier, (2018)

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.

Georgios Mitrentsis Universität Stuttgart

Georgios Iosifidis University of Stuttgart

Georgios Skarmoutsos University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components., , , und . Intelligent Vehicles Symposium, Seite 1555-1562. IEEE, (2018)Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach., und . ACM Trans. Embedded Comput. Syst., 18 (5s): 107:1-107:20 (2019)Gray-box adversarial testing for control systems with machine learning components., und . HSCC, Seite 179-184. ACM, (2019)Rapidly-exploring Random Trees-based Test Generation for Autonomous Vehicles., und . CoRR, (2019)Gray-box Adversarial Testing for Control Systems with Machine Learning Component., und . CoRR, (2018)Towards modeling and analysis of cyber-physical medical systems., , , und . ISABEL, Seite 154:1-154:5. ACM, (2011)Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS., , , und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 67-72. Elsevier, (2018)Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic., , , und . RV, Volume 11237 von Lecture Notes in Computer Science, Seite 409-416. Springer, (2018)Embedded software for robotics: challenges and future directions: special session., , , , , , , und . EMSOFT, Seite 10. IEEE, (2018)Local Descent for Temporal Logic Falsification of Cyber-Physical Systems., und . CyPhy, Volume 11267 von Lecture Notes in Computer Science, Seite 11-26. Springer, (2017)