pith. sign in

Aniello Murano

Identifiers

  • name variant Aniello Murano 0.60 · backfill

Papers (18)

  1. Reasoning about Quality and Fuzziness of Strategic Behaviours cs.LO · 2019 · author #5
  2. Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable cs.LO · 2019 · author #5
  3. Timed context-free temporal logics (extended version) cs.LO · 2018 · author #2
  4. Planning and Synthesis Under Assumptions cs.LO · 2018 · author #3
  5. Reasoning about Knowledge and Strategies under Hierarchical Information cs.LO · 2018 · author #2
  6. Strategy Logic with Imperfect Information cs.LO · 2018 · author #3
  7. Decidability results for ATL* with imperfect information and perfect recall cs.LO · 2018 · author #3
  8. Changing Observations in Epistemic Temporal Logic cs.LO · 2018 · author #3
  9. Event-Clock Nested Automata cs.FL · 2017 · author #2
  10. On the Complexity of ATL and ATL* Module Checking cs.LO · 2017 · author #2
  11. Reasoning about Strategies: on the Satisfiability Problem cs.LO · 2016 · author #2
  12. Quantified CTL with imperfect information cs.LO · 2016 · author #3
  13. Satisfiability and Model Checking of CTL* with Graded Path Modalities cs.LO · 2014 · author #2
  14. MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications cs.LO · 2014 · author #4
  15. A Decidable Fragment of Strategy Logic cs.LO · 2012 · author #2
  16. Reasoning About Strategies: On the Model-Checking Problem cs.LO · 2011 · author #2
  17. The Complexity of Enriched Mu-Calculi cs.LO · 2008 · author #3
  18. Enriched MU-Calculi Module Checking cs.LO · 2008 · author #2

Mentions

  • 1410.7551 #2 · backfill · confidence 0.70 Aniello Murano
  • 1402.2948 #4 · backfill · confidence 0.70 Aniello Murano
  • 1202.1309 #2 · backfill · confidence 0.70 Aniello Murano
  • 1112.6275 #2 · backfill · confidence 0.70 Aniello Murano
  • 0809.0360 #3 · backfill · confidence 0.70 Aniello Murano
  • 0805.3462 #2 · backfill · confidence 0.70 Aniello Murano

Frequent Coauthors