( en | de | ru )

 

Disambiguierung von "Raskin, Jean-François"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata.

, , , und . Int. J. Softw. Tools Technol. Transf., 24 (4): 635-659 (2022)

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

Algorithms for Omega-Regular Games with Imperfect Information, ., , , und . CSL, Volume 4207 von Lecture Notes in Computer Science, Seite 287-302. Springer, (2006)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)Strategy synthesis for multi-dimensional quantitative objectives., , und . Acta Inf., 51 (3-4): 129-163 (2014)A Tutorial on Mean-payoff and Energy Games.. Dependable Software Systems Engineering, Volume 45 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2016)Queue-Dispatch Asynchronous Systems, , und . CoRR, (2012)Games with lexicographically ordered $ω$-regular objectives., , und . CoRR, (2017)Secure equilibria in weighted games., , und . CSL-LICS, Seite 26:1-26:26. ACM, (2014)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)Real-Time Model-Checking: Parameters everywhere., und . Logical Methods in Computer Science, (2007)Abstract Interpretation of Game Properties., , , und . SAS, Volume 1824 von Lecture Notes in Computer Science, Seite 220-239. Springer, (2000)