Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans., , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (12): 5247-5260 (2020)Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers., , und . MED, Seite 542-547. IEEE, (2021)Structural Coverability for Intelligent Automation Systems., , und . CASE, Seite 1-6. IEEE, (2023)An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem., , und . CASE, Seite 1364-1369. IEEE, (2021)Hybrid Computer-Human Supervision of Discrete Event Systems., , und . ICRA, Seite 2321-2326. IEEE, (2002)Evaluating Two Semantics for Falsification using an Autonomous Driving Example., , , und . INDIN, Seite 386-391. IEEE, (2019)Enumeration of Valid Partial Configurations., , und . Configuration Workshop, Volume 755 von CEUR Workshop Proceedings, CEUR-WS.org, (2011)Training Convolutional Neural Networks with Synthesized Data for Object Recognition in Industrial Manufacturing., , , und . ETFA, Seite 1544-1547. IEEE, (2019)Implementation of full synchronous composition using IEC 61499 function blocks., , , , und . CASE, Seite 267-272. IEEE, (2005)Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering., , und . IEEE Trans Autom. Sci. Eng., 14 (2): 692-693 (2017)