Marco Faella

Alberto Finzi

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Preference Theories on Weak Orders.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2018

Do all Tournaments Admit Irrelevant Matches?

[BibT_eX]

[DOI]

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

2017

Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Tracking smooth trajectories in linear hybrid systems.

[BibT_eX]

[DOI]

Inf. Comput., 2017

A New Semantics for Overriding in Description Logics (Extended Abstract).

[BibT_eX]

[DOI]

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

2016

Incentives for Truthful Evaluations.

[BibT_eX]

[DOI]

Vassilis Polychronopoulos

Michael Shavlovsky

CoRR, 2016

TrueReview: A Platform for Post-Publication Peer Review.

[BibT_eX]

[DOI]

CoRR, 2016

Hedging Bets in Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

Average Controllability Measures for Solitaire Games.

[BibT_eX]

[DOI]

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

Generalized Agent-mediated Procurement Auctions.

[BibT_eX]

[DOI]

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

2015

A new semantics for overriding in description logics.

[BibT_eX]

[DOI]

Artif. Intell., 2015

Decidability of Circumscribed Description Logics Revisited.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Automata-theoretic decision of timed games.

[BibT_eX]

[DOI]

Salvatore La Torre

Aniello Murano

Theor. Comput. Sci., 2014

Preface to the special issue on GandALF 2012.

[BibT_eX]

[DOI]

Aniello Murano

Theor. Comput. Sci., 2014

Partial Preferences for Mediated Bargaining.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

E-Auctions for Multi-Cloud Service Provisioning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013

Automatic synthesis of switching controllers for linear hybrid systems: Safety control.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Code aware resource management.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2013

An Integrated Formal Approach to Usage Control.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Security and Privacy Workshops, 2013

Auctions for Partial Heterogeneous Preferences.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Tracking differentiable trajectories across polyhedra boundaries.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

Quantitatively fair scheduling.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Reachability games for linear hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011

Defeasible Inclusions in Low-Complexity DLs.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2011

Towards Efficient Exact Synthesis for Linear Hybrid Systems

[BibT_eX]

[DOI]

Proceedings of Second International Symposium on Games, 2011

Automatic Synthesis of Switching Controllers for Linear Hybrid Automata

[BibT_eX]

[DOI]

CoRR, 2011

Exploring the boundary of half-positionality.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2011

On the Complexity of EL with Defeasible Inclusions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Towards a Mechanism for Incentivating Privacy.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2011, 2011

Revisiting synthesis of switching controllers for Linear Hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Adding Default Attributes to EL++.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Graded Alternating-Time Temporal Logic.

[BibT_eX]

[DOI]

Margherita Napoli

Mimmo Parente

Fundam. Informaticae, 2010

Quantitative Fairness Games

[BibT_eX]

[DOI]

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

<i>EL</i>\mathcal{EL} with Default Attributes and Overriding.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

2009

Linear and Branching System Metrics.

[BibT_eX]

[DOI]

Mariëlle Stoelinga

IEEE Trans. Software Eng., 2009

Some Models and Tools for Open Systems

[BibT_eX]

[DOI]

CoRR, 2009

Qualitative Logics and Equivalences for Probabilistic Systems

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2009

Admissible Strategies in Infinite Games over Graphs.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

Balanced Paths in Colored Graphs.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

2008

Model Checking Quantitative Linear Time Logic.

[BibT_eX]

[DOI]

Mariëlle Stoelinga

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

Best-Effort Strategies for Losing States

[BibT_eX]

[DOI]

CoRR, 2008

Assigning trust to Wikipedia content.

[BibT_eX]

[DOI]

B. Thomas Adler

Proceedings of the 2008 International Symposium on Wikis, 2008

2007

On Interoperable Trust Negotiation Strategies.

[BibT_eX]

[DOI]

Sabrina Baselice

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Compositional Quantitative Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

An Introduction to the Tool Ticc.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Trustworthy Software" 2006, 2006

Ticc: A Tool for Interface Compatibility and Composition.

[BibT_eX]

[DOI]

B. Thomas Adler

Leandro Dias da Silva

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Model checking discounted temporal properties.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Sociable Interfaces.

[BibT_eX]

[DOI]

Leandro Dias da Silva

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

Average Reward Timed Games.

[BibT_eX]

[DOI]

B. Thomas Adler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Code aware resource management.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

2004

Linear and Branching Metrics for Quantitative Transition Systems.

[BibT_eX]

[DOI]

Mariëlle Stoelinga

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003

Information Flow in Concurrent Games.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

The Element of Surprise in Timed Games.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

2002

Dense Real-Time Games.

[BibT_eX]

[DOI]