Autor der Publikation

Evaluating ESOP Optimization Methods in Quantum Compilation Flows.

, , , , und . RC, Volume 11497 von Lecture Notes in Computer Science, Seite 191-206. Springer, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Virtue of Patience: Minimizing Büchi Automata., und . SPIN, Volume 6349 von Lecture Notes in Computer Science, Seite 129-145. Springer, (2010)Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis.. NASA Formal Methods, Volume 6617 von Lecture Notes in Computer Science, Seite 101-115. Springer, (2011)Synthesizing cooperative reactive mission plans., , und . IROS, Seite 3478-3485. IEEE, (2015)Engineering Human-Machine Teams for Trusted Collaboration., , , , , , , , , und 5 andere Autor(en). Big Data Cogn. Comput., 4 (4): 35 (2020)Efficient Temporal Logic Runtime Monitoring for Tiny Systems.. TAP, Volume 15153 von Lecture Notes in Computer Science, Seite 3-21. Springer, (2024)Generalised Rabin(1) synthesis. CoRR, (2010)Safe Reinforcement Learning via Shielding., , , , , und . CoRR, (2017)Approximately Propagation Complete and Conflict Propagating Constraint Encodings., und . SAT, Volume 10929 von Lecture Notes in Computer Science, Seite 19-36. Springer, (2018)On the Influence of Grid Cell Size on Taxi Demand Prediction., , , und . GOODTECHS, Volume 476 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 19-36. Springer, (2022)Safe Reinforcement Learning via Shielding., , , , , und . AAAI, Seite 2669-2678. AAAI Press, (2018)