( en | de | ru )

 

Disambiguierung von "Raskin, Jean-François"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reactive Synthesis Without Regret.

, , und . CONCUR, Volume 42 von LIPIcs, Seite 114-127. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

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.

Jean-François Stumper

Jean-François Viaud

Jean-François Paillotin

Jean François Savoie

Jean-François Hren

 

Weitere Publikationen von Autoren mit dem selben Namen

Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS., , und . FSTTCS, Volume 3328 von Lecture Notes in Computer Science, Seite 287-298. Springer, (2004)Algorithms for Omega-Regular Games with Imperfect Information, ., , , und . CSL, Volume 4207 von Lecture Notes in Computer Science, Seite 287-302. Springer, (2006)On the Efficient Computation of the Minimal Coverability Set for Petri Nets., , und . ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 98-113. Springer, (2007)A Game-Based Verification of Non-repudiation and Fair Exchange Protocols., und . CONCUR, Volume 2154 von Lecture Notes in Computer Science, Seite 551-565. Springer, (2001)Model-Checking for Weighted Timed Automata., , und . FORMATS/FTRTFT, Volume 3253 von Lecture Notes in Computer Science, Seite 277-292. Springer, (2004)On Optimal Timed Strategies., , und . FORMATS, Volume 3829 von Lecture Notes in Computer Science, Seite 49-64. Springer, (2005)Abstract Interpretation of Game Properties., , , und . SAS, Volume 1824 von Lecture Notes in Computer Science, Seite 220-239. Springer, (2000)Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking., , , , , und . IEEE Trans. Software Eng., 39 (8): 1069-1089 (2013)Secure equilibria in weighted games., , und . CSL-LICS, Seite 26:1-26:26. ACM, (2014)Optimizing Expectation with Guarantees in POMDPs., , , , und . AAAI, Seite 3725-3732. AAAI Press, (2017)