E-LIB Suche - Ergebnisse für: Raskin, Jean-François

1

SynthLearn: A Tool for Guided Reactive Synthesis:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,

Balachander, Mrudula ; Filiot, Emmanuel ; Raskin, Jean-François - p. 51-71 , 2024

2

Stackelberg-Pareto Synthesis:

Bruyère, Véronique ; Fievet, Baptiste ; Raskin, Jean-François.
ACM Transactions on Computational Logic. 25 (2024) 2 - p. 1-49 , 2024

Link: https://doi.org/10.1145/..

3

Bi-objective Lexicographic Optimization in Markov Decision ..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Busatto-Gaston, Damien ; Chakraborty, Debraj ; Majumdar, Anirban... - p. 203-223 , 2023

Link: https://doi.org/10.1007/..

4

LTL Reactive Synthesis with a Few Hints:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Balachander, Mrudula ; Filiot, Emmanuel ; Raskin, Jean-François - p. 309-328 , 2023

Link: https://doi.org/10.1007/..

5

Solving Stochastic Games Reliably:

Weininger, Maximilian Ph. , 2022

Link: http://nbn-resolving.de/..

6

From linear temporal logic and limit-deterministic Büchi au..:

Esparza, Javier ; Křetínský, Jan ; Raskin, Jean-François.
International Journal on Software Tools for Technology Transfer. 24 (2022) 4 - p. 635-659 , 2022

Link: https://doi.org/10.1007/..

7

Lifted model checking for relational MDPs:

Yang, Wen-Chi ; Raskin, Jean-François ; De Raedt, Luc
Machine Learning. 111 (2022) 10 - p. 3797-3838 , 2022

Link: https://doi.org/10.1007/..

8

Principles of Systems Design: Essays Dedicated to Thomas A...

Lecture Notes in Computer Science, 13660

Raskin, Jean-François ; Chatterjee, Krishnendu ; Doyen, Laurent. - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

9

Special issue: Selected papers of the 11th International Sy..:

Raskin, Jean-François ; Bresolin, Davide
Information and Computation. 289 (2022) - p. 104980 , 2022

Link: https://doi.org/10.1016/..

10

Constrained existence problem for weak subgame perfect equi..:

Brihaye, Thomas ; Bruyère, Véronique ; Goeminne, Aline.
Information and Computation. 278 (2021) - p. 104594 , 2021

Link: https://doi.org/10.1016/..

11

On the existence of weak subgame perfect equilibria:

Bruyère, Véronique ; Le Roux, Stéphane ; Pauly, Arno.
Information and Computation. 276 (2021) - p. 104553 , 2021

Link: https://doi.org/10.1016/..

12

Active Learning of Sequential Transducers with Side Informa..:

, In: Developments in Language Theory; Lecture Notes in Computer Science,

Berthon, Raphaël ; Boiret, Adrien ; Pérez, Guillermo A.. - p. 54-65 , 2021

Link: https://doi.org/10.1007/..

13

Correction to: Reactive synthesis without regret:

Hunter, Paul ; Pérez, Guillermo A. ; Raskin, Jean-François
Acta Informatica. 59 (2021) 5 - p. 671-671 , 2021

Link: https://doi.org/10.1007/..

14

Safe Learning for Near-Optimal Scheduling:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Busatto-Gaston, Damien ; Chakraborty, Debraj ; Guha, Shibashis.. - p. 235-254 , 2021

Link: https://doi.org/10.1007/..

15

Mixing Probabilistic and non-Probabilistic Objectives in Ma..:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Berthon, Raphaël ; Guha, Shibashis ; Raskin, Jean-François - p. 195-208 , 2020

Link: https://dl.acm.org/doi/1..