Graph explorer

Jean-François Raskin

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

20 nodes55 linksoverview previewJean-François Raskin
20 nodes55 links
Jean-François Raskin20 visible / 20 total nodes / 55 links
Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipRelated contextRelated contextWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipAJean-François RaskinResearcherWSynthesizing POMDP Poli...preprint / 2026ADebraj ChakrabortyResearcherAAnirban MajumdarResearcherAPrince MathewResearcherASayan MukherjeeResearcherTArtificial 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 / 2011WStackelberg-Pareto Synt...preprint / 2022WOn the Complexity of SP...preprint / 2022WThe Adversarial Stackel...preprint / 2020WMixing Probabilistic an...preprint / 2020WQueue-Dispatch Asynchro...preprint / 2012
PersonSignal 1019 links

Jean-François Raskin

Researcher

Open