Articles with public access mandates - Jean-François RaskinLearn more
Not available anywhere: 2
Pareto curves of multidimensional mean-payoff games
R Brenguier, JF Raskin
International Conference on Computer Aided Verification, 251-267, 2015
Mandates: European Commission
SynthLearn: A Tool for Guided Reactive Synthesis
M Balachander, E Filiot, JF Raskin
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024
Mandates: European Commission
Available somewhere: 49
The complexity of multi-mean-payoff and multi-energy games
Y Velner, K Chatterjee, L Doyen, TA Henzinger, A Rabinovich, JF Raskin
Information and Computation 241, 177-196, 2015
Mandates: Austrian Science Fund, European Commission
Strategy synthesis for multi-dimensional quantitative objectives
K Chatterjee, M Randour, JF Raskin
CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012
Mandates: Austrian Science Fund
Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games
V Bruyère, E Filiot, M Randour, JF Raskin
Information and Computation 254, 259-295, 2017
Mandates: European Commission
Percentile queries in multi-dimensional Markov decision processes
M Randour, JF Raskin, O Sankur
International Conference on Computer Aided Verification, 123-139, 2015
Mandates: National Fund for Scientific Research, Belgium, European Commission
Equivalence of labeled Markov chains
L Doyen, TA Henzinger, JF Raskin
International journal of foundations of computer science 19 (03), 549-563, 2008
Mandates: Swiss National Science Foundation
Assume-admissible synthesis
R Brenguier, JF Raskin, O Sankur
Acta Informatica 54, 41-83, 2017
Mandates: European Commission
From LTL and limit-deterministic Büchi automata to deterministic parity automata
J Esparza, J Křetínský, JF Raskin, S Sickert
International Conference on Tools and Algorithms for the Construction and …, 2017
Mandates: German Research Foundation, European Commission
Looking at mean-payoff and total-payoff through windows
K Chatterjee, L Doyen, M Randour, JF Raskin
Automated Technology for Verification and Analysis: 11th International …, 2013
Mandates: Austrian Science Fund
The first reactive synthesis competition (SYNTCOMP 2014)
S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ...
International journal on software tools for technology transfer 19, 367-390, 2017
Mandates: Austrian Science Fund, Australian Research Council, National Fund for …
Non-zero sum games for reactive synthesis
R Brenguier, L Clemente, P Hunter, GA Pérez, M Randour, JF Raskin, ...
Language and Automata Theory and Applications, 3-23, 2016
Mandates: National Fund for Scientific Research, Belgium, European Commission
Variations on the stochastic shortest path problem
M Randour, JF Raskin, O Sankur
International Workshop on Verification, Model Checking, and Abstract …, 2015
Mandates: European Commission
Quantitative languages defined by functional automata
E Filiot, R Gentilini
Logical Methods in Computer Science 11, 2015
Mandates: National Fund for Scientific Research, Belgium, European Commission
The complexity of rational synthesis
R Condurache, E Filiot, R Gentilini, JF Raskin
43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016
Mandates: National Fund for Scientific Research, Belgium, European Commission …
Doomsday equilibria for omega-regular games
K Chatterjee, L Doyen, E Filiot, JF Raskin
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
Mandates: Austrian Science Fund, National Fund for Scientific Research, Belgium
Secure equilibria in weighted games
V Bruyère, N Meunier, JF Raskin
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
Mandates: National Fund for Scientific Research, Belgium, European Commission
The complexity of admissibility in omega-regular games
R Brenguier, JF Raskin, M Sassolas
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
Mandates: European Commission
The complexity of subgame perfect equilibria in quantitative reachability games
T Brihaye, V Bruyère, A Goeminne, JF Raskin, M Van den Bogaard
Logical Methods in Computer Science 16, 2020
Mandates: Research Foundation (Flanders), European Commission
Finite-valued weighted automata
E Filiot, R Gentilini, JF Raskin
34th International Conference on Foundation of Software Technology and …, 2014
Mandates: National Fund for Scientific Research, Belgium, Government of Italy
Publication and funding information is determined automatically by a computer program