Graph explorer

Jean-François Raskin

Jean-François Raskin contributes to research discovery and scholarly infrastructure.

20 nodes56 linksoverview mapJean-François Raskin
20 nodes56 links
Jean-François Raskin20 visible / 20 total nodes / 56 links
Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipRelated contextRelated contextAuthorshipWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipAJean-François RaskinResearcherWSynthesizing POMDP Poli...preprint / 2026ADebraj ChakrabortyResearcherAAnirban MajumdarResearcherAPrince MathewResearcherASayan MukherjeeResearcherWMultiple-Environment Ma...preprint / 2014TArtificial Intelligence22915 worksTFormal Languages and Au...714 worksTLogic in Computer Science2208 worksWLifted Model Checking f...preprint / 2022WThe Complexity of SPEs ...preprint / 2022WSubgame-perfect Equilib...preprint / 2022WPareto-Rational Verific...preprint / 2022WLearning Non-Markovian ...preprint / 2020WEvent-Clock Automata: F...preprint / 2011WThe Complexity of Admis...preprint / 2014WQuantitative games with...preprint / 2014WVariations on the Stoch...preprint / 2014WOn Functionality of Vis...preprint / 2010
PersonSignal 1019 links

Jean-François Raskin

Researcher

Open