Aniello Murano

Artif. Intell., 2019

Imperfect Information in Alternating-Time Temporal Logic on Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Network Signal Comparison Through Waves Parameters: a Local-Alignment-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Measurements & Networking, 2019

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Probabilistic Strategy Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Towards a Tool for LTL Synthesis with Bounded-Energy Constraints.

[BibT_eX]

[DOI]

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

Natural Strategic Ability under Imperfect Information.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Reasoning about Changes of Observational Power in Logics of Knowledge and Time.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Planning under LTL Environment Specifications.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

A Smart Compact Traffic Network Vision Based on Wave Representation.

[BibT_eX]

[DOI]

Proceedings of the Web, Artificial Intelligence and Network Applications, 2019

2018

SNOT-WiFi: Sensor network-optimized training for wireless fingerprinting.

[BibT_eX]

[DOI]

J. High Speed Networks, 2018

Reasoning about graded strategy quantifiers.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Practical verification of multi-agent systems against Slk specifications.

[BibT_eX]

[DOI]

Inf. Comput., 2018

CTL* with graded path modalities.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Graded modalities in Strategy Logic.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Additional Winning Strategies in Reachability Games.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Timed context-free temporal logics (extended version).

[BibT_eX]

[DOI]

CoRR, 2018

Planning and Synthesis Under Assumptions.

[BibT_eX]

[DOI]

CoRR, 2018

Reasoning about Knowledge and Strategies.

[BibT_eX]

[DOI]

CoRR, 2018

Solving Parity Games: Explicit vs Symbolic.

[BibT_eX]

[DOI]

Antonio Di Stasio

Proceedings of the Implementation and Application of Automata, 2018

Results on Alternating-Time Temporal Logics with Linear Past.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

Event-Clock Nested Automata.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2018

Reasoning about Knowledge and Strategies under Hierarchical Information.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification.

[BibT_eX]

[DOI]

Catalin Dima

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Changing Observations in Epistemic Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Synthesis under Assumptions.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Alternating-time Temporal Logic on Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Graded CTL* over Finite Paths.

[BibT_eX]

[DOI]

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

Timed Context-Free Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Quantifying Bounds in Strategy Logic.

[BibT_eX]

[DOI]

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

Dynamic Escape Game.

[BibT_eX]

[DOI]

Antonio Di Stasio

Paolo Domenico Lambiase

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS.

[BibT_eX]

[DOI]

Dario Della Monica

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Decidable Verification of Multi-agent Systems with Bounded Private Actions.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Logic-based clustering approach for management and improvement of VANETs.

[BibT_eX]

[DOI]

Silvia Stranieri

J. High Speed Networks, 2017

Preface to the Special Issue on SR 2014.

[BibT_eX]

[DOI]

Inf. Comput., 2017

On the Complexity of ATL and ATL* Module Checking.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Reasoning about Strategies: on the Satisfiability Problem.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking.

[BibT_eX]

[DOI]

Dario Della Monica

David de Frutos-Escrig

Angelo Montanari

Guido Sciavicco

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Nash Equilibria in Concurrent Games with Lexicographic Preferences.

[BibT_eX]

[DOI]

Michael J. Wooldridge

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2017

Reasoning About Additional Winning Strategies in Two-Player Games.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

EENET: Energy Efficient Detection of NETwork Changes Using a Wireless Sensor Network.

[BibT_eX]

[DOI]

Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2017

Hiding Actions in Multi-Player Games.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Reasoning about Natural Strategic Ability.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Decidability Results for ATL* with Imperfect Information and Perfect Recall.

[BibT_eX]

[DOI]

Raphaël Berthon

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Verification of Multi-agent Systems with Imperfect Information and Public Actions.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Ordered multi-stack visibly pushdown automata.

[BibT_eX]

[DOI]

Dario Carotenuto

Theor. Comput. Sci., 2016

Relentful strategic reasoning in alternating-time temporal logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Cycle Detection in Computation Tree Logic.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Games, 2016

Quantified CTL with imperfect information.

[BibT_eX]

[DOI]

Raphaël Berthon

CoRR, 2016

Extended Graded Modalities in Strategy Logic.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Strategic Reasoning, 2016

Checking interval properties of computations.

[BibT_eX]

[DOI]

Acta Informatica, 2016

Solving Parity Games Using an Automata-Based Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2016

A novel Split Bregman algorithm for MRI denoising task in an e-Health system.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM International Conference on PErvasive Technologies Related to Assistive Environments, 2016

Prompt Alternating-Time Epistemic Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Prompt Interval Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Imperfect-Information Games and Generalized Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Additional Winning Strategies in Two-Player Games.

[BibT_eX]

[DOI]

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

V2V-EN - Vehicle-2-Vehicle Elastic Network.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2016)/The 6th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2016)/Affiliated Workshops, 2016

Hiding Actions in Concurrent Games.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

NWin: A Tool for Counting Winning Strategies (Demonstration).

[BibT_eX]

[DOI]

Marco Tafuto

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Concurrent Multi-Player Parity Games.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

M-DGPS: An Algorithm for the Post-Processing of Geodetic Tracks Based on Multiple DGPS.

[BibT_eX]

[DOI]

Maria Rosaria Del Sorbo

Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

WiFACT - Wireless Fingerprinting Automated Continuous Training.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

A Logic-based Clustering Approach for Cooperative Traffic Control Systems.

[BibT_eX]

[DOI]

Maria Rosaria Del Sorbo

Silvia Stranieri

Proceedings of the Advances on P2P, 2016

2015

Reasoning About Substructures and Games.

[BibT_eX]

[DOI]

Massimo Benerecetti

ACM Trans. Comput. Log., 2015

Special issue on SR 2013.

[BibT_eX]

[DOI]

Inf. Comput., 2015

On Promptness in Parity Games.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

A Game-based Model for Human-robots Interaction.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop "From Objects to Agents", 2015

On the Counting of Strategies.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Verification of Asynchronous Mobile-Robots in Partially-Known Environments.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Multi-agent Path Planning in Known Dynamic Environments.

[BibT_eX]

[DOI]

Giuseppe Perelli

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Module Checking for Uncertain Agents.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Pushdown Multi-Agent System Verification.

[BibT_eX]

[DOI]

Giuseppe Perelli

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Games with additional winning strategies.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

Module Checking of Strategic Ability.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications.

[BibT_eX]

[DOI]

Petr Cermák

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Reasoning About Strategies: On the Model-Checking Problem.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

Automata-theoretic decision of timed games.

[BibT_eX]

[DOI]

Marco Faella

Theor. Comput. Sci., 2014

Preface to the special issue on GandALF 2012.

[BibT_eX]

[DOI]

Marco Faella

Theor. Comput. Sci., 2014

Synthesis of hierarchical systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Satisfiability and Model Checking of CTL* with Graded Path Modalities.

[BibT_eX]

[DOI]

CoRR, 2014

Checking Interval Properties of Computations.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Solving Parity Games in Scala.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

A Behavioral Hierarchy of Strategy Logic.

[BibT_eX]

[DOI]

Luigi Sauro

Proceedings of the Computational Logic in Multi-Agent Systems, 2014

MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Strategy games: a renewed framework.

[BibT_eX]

[DOI]

Luigi Sauro

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

On module checking and strategies.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Pushdown module checking with imperfect information.

[BibT_eX]

[DOI]

Inf. Comput., 2013

On the Boundary of Behavioral Strategies.

[BibT_eX]

[DOI]

Luigi Sauro

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Substructure Temporal Logic.

[BibT_eX]

[DOI]

Massimo Benerecetti

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012

Graded computation tree logic.

[BibT_eX]

[DOI]

Alessandro Bianco

ACM Trans. Comput. Log., 2012

Quantitatively fair scheduling.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Improved model checking of hierarchical systems.

[BibT_eX]

[DOI]

Orna Kupferman

Inf. Comput., 2012

A Decidable Fragment of Strategy Logic

[BibT_eX]

[DOI]

CoRR, 2012

A social network framework for the Carolina software.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on PErvasive Technologies Related to Assistive Environments, 2012

Slide Test Maker An Educational Software Tool for Test Composition.

[BibT_eX]

[DOI]

Vittorio Fuccella

Proceedings of the Advances in Web-Based Learning - ICWL 2012, 2012

What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Exploring the boundary of half-positionality.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2011

A Sketch-Based System for Teaching Geometry.

[BibT_eX]

Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011

The C@Rolin@ Software - A System for Monitoring Skills Development of Children with Down Syndrome.

[BibT_eX]

Francesco Piccialli

Proceedings of the HEALTHINF 2011, 2011

2010

Pushdown module checking.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2010

Quantitative Fairness Games

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

Reasoning About Strategies.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Full Formative Assessment based on Educational Video Games.

[BibT_eX]

Vittorio Fuccella

Proceedings of the 16th International Conference on Distributed Multimedia Systems, 2010

Graded Computation Tree Logic with Binary Coding.

[BibT_eX]

[DOI]

Alessandro Bianco

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009

A technological infrastructure design for a pediatric oncology network.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Pervasive Technologies Related to Assistive Environments, 2009

Balanced Paths in Colored Graphs.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

The "INNOVAMBIENTE" Project: An Interdisciplinary Approach Integrating Natural Science, Mathematics and Computer Science.

[BibT_eX]

[DOI]

Biagio D'Aniello

Proceedings of the 9th IEEE International Conference on Advanced Learning Technologies, 2009

Branching-Time Temporal Logics with Minimal Model Quantifiers.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory, 13th International Conference, 2009

2008

Enriched µ-Calculi Module Checking.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

The Complexity of Enriched Mu-Calculi.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Enriched MU-Calculi Module Checking

[BibT_eX]

[DOI]

CoRR, 2008

Program Complexity in Hierarchical Module Checking.

[BibT_eX]

[DOI]

Margherita Napoli

Proceedings of the Logic for Programming, 2008

µ-calculus Pushdown Module Checking with Imperfect State Information.

[BibT_eX]

[DOI]

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007

Enriched µ-Calculus Pushdown Module Checking.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2007

Enriched µ-Calculi Module Checking.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2007

2-Visibly Pushdown Automata.

[BibT_eX]

[DOI]

Dario Carotenuto

Proceedings of the Developments in Language Theory, 11th International Conference, 2007

Pushdown Module Checking with Imperfect Information.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Typeness for omega-regular Automata.

[BibT_eX]

[DOI]

Orna Kupferman

Gila Morgenstern

Int. J. Found. Comput. Sci., 2006

The Complexity of Enriched <i>µ</i>-Calculi.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

Weak Muller acceptance conditions for tree automata.

[BibT_eX]

[DOI]

Margherita Napoli

Theor. Comput. Sci., 2005

2004

Reasoning About Co-Büchi Tree Automata.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Model-checking the Secure Release of a Time-locked Secret over a Network.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

2002

Decision problems on tree automata and synthesis of open timed systems.

[BibT_eX]

[DOI]

PhD thesis, 2002

Dense Real-Time Games.

[BibT_eX]

[DOI]

Marco Faella

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Optimal-Reachability and Control for Acyclic Weighted Timed Automata.

[BibT_eX]

[DOI]

Supratik Mukhopadhyay