author-photo

Aniello Murano

University of Naples Federico II

204

Papers

1620

Citations

Citation Trend

Filter By

Papers (141) Sort By

Journal Conference Others

The Parking Problem: A Game-Theoretic Solution.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
Synthesizing Best-effort Strategies under Multiple Environment Specifications

2021 KR | Principles of Knowledge Representation and Reasoning
Show All
- Source
- Cite
- Save
Citations (0)
Timed Trace Alignment with Metric Temporal Logic over Finite Traces

2021 KR | Principles of Knowledge Representation and Reasoning
Show All
- Source
- Cite
- Save
Citations (0)
Improving parity games in practice

2021 Annals of Mathematics and Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (1)
Module Checking of Pushdown Multi-agent Systems

2020 KR | Principles of Knowledge Representation and Reasoning
Show All
- Source
- Cite
- Save
Citations (1)
Hierarchical Cost-Parity Games

2020 Theoretical Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games

2020 Concurrency and Computation: Practice and Experience
Show All
- Source
- Cite
- Save
Citations (2)
Nondeterministic Strategies and their Refinement in Strategy Logic

2020 KR | Principles of Knowledge Representation and Reasoning
Show All
- Source
- Cite
- Save
Citations (1)
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic

2020 IJCAI | International Joint Conference on Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (0)
Verification of multi-agent systems with public actions against strategy logic

2020 Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (5)