( en | de | ru )

 

Disambiguierung von "Bouyer, Patricia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty.

, , , , , und . FM, Volume 10951 von Lecture Notes in Computer Science, Seite 203-221. Springer, (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.

Daniel Bouyer

Guillaume Bouyer

Patricia Lang

Risikoanalyse der Lungenmetastasenresektion unter aktuellen Aspekten der Thoraxchirurgie. Uni Ulm, (2009)

Patricia Tönnessen

Unterschiedliche Regulation von insulinsensitiven Adipokinen bei Schwangerschaften mit normaler und abnormaler plazentarer Funktion. Uni Leipzig, (2009)

Patricia Minke

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Value Problem in Weighted Timed Games., , und . CONCUR, Volume 42 von LIPIcs, Seite 311-324. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Expressiveness of Updatable Timed Automata., , , und . MFCS, Volume 1893 von Lecture Notes in Computer Science, Seite 232-242. Springer, (2000)Almost Optimal Strategies in One Clock Priced Timed Games., , , und . FSTTCS, Volume 4337 von Lecture Notes in Computer Science, Seite 345-356. Springer, (2006)Optimal Strategies in Priced Timed Game Automata., , , und . FSTTCS, Volume 3328 von Lecture Notes in Computer Science, Seite 148-160. Springer, (2004)Sub-game optimal strategies in concurrent games with prefix-independent objectives., , und . CoRR, (2023)Timed Petri nets and timed automata: On the discriminating power of zeno sequences., , und . Inf. Comput., 206 (1): 73-107 (2008)Decisiveness of stochastic systems and its application to hybrid models., , , , und . Inf. Comput., 289 (Part): 104861 (2022)A Note on Game Theory and Verification.. ATVA, Volume 11781 von Lecture Notes in Computer Science, Seite 3-22. Springer, (2019)Games Where You Can Play Optimally with Arena-Independent Finite Memory., , , , und . CONCUR, Volume 171 von LIPIcs, Seite 24:1-24:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)On the optimal reachability problem in weighted timed automata and games.. NCMA, Volume 318 von books@ocg.at, Seite 11-36. Österreichische Computer Gesellschaft, (2015)