Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Aniello Murano
Map detail
Aniello Murano13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAniello MuranoAAniello MuranoResearcherOptimal Strategies in Weighted Limit Games (full version)WOptimal Strategies in W...preprint / 2020The Parking Problem: A Game-Theoretic SolutionWThe Parking Problem: A ...preprint / 2022Equilibria for Games with Combined Qualitative and Quantitative ObjectivesWEquilibria for Games wi...preprint / 2020Reasoning about strategies on collapsible pushdown arenas with imperfect informationWReasoning about strateg...preprint / 2020Dynamic Epistemic Logic Games with Epistemic Temporal GoalsWDynamic Epistemic Logic...preprint / 2020Proceedings 1st International Workshop on Strategic ReasoningWProceedings 1st Interna...preprint / 2013Proceedings Third International Symposium on Games, Automata, Logics and Formal VerificationWProceedings Third Inter...preprint / 2012Reasoning About Strategies: On the Model-Checking ProblemWReasoning About Strateg...preprint / 2012Proceedings 2nd International Workshop on Strategic ReasoningWProceedings 2nd Interna...preprint / 2014Satisfiability and Model Checking of CTL* with Graded Path ModalitiesWSatisfiability and Mode...preprint / 2014A Decidable Fragment of Strategy LogicWA Decidable Fragment of...preprint / 2012Enriched MU-Calculi Module CheckingWEnriched MU-Calculi Mod...preprint / 2008
Person12 links

Aniello Murano

Researcher