Marco Faella

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 19

Top Topics

Description Logics

Markov Decision Process

Top Venues

Theor. Comput. Sci.

Auton. Agents Multi Agent Syst.

Publications

Marco Faella, Luigi Sauro
On preferences and reward policies over rankings. Auton. Agents Multi Agent Syst. 38 (2) (2024)
Marco Faella, Gennaro Parlato
Reachability Games Modulo Theories with a Bounded Safety Player. AAAI (2023)
Marco Faella, Gennaro Parlato
Reasoning About Data Trees Using CHCs. CAV (2) (2022)
Marco Faella, Luigi Sauro
Universal Thompson Sampling. ICMLA (2022)
Marco Faella, Luigi Sauro
Irrelevant matches in round-robin tournaments. Auton. Agents Multi Agent Syst. 35 (1) (2021)
Marco Faella, Alberto Finzi, Luigi Sauro
A practical query selection framework for real-time Bayesian preference elicitation. ICTAI (2021)
Marco Faella, Luigi Sauro
Preferences over Rankings and How to Control Them Using Rewards. ECAI (2020)
Marco Faella, Alberto Finzi, Luigi Sauro
Rapidly Finding the Best Arm Using Variance. ECAI (2020)
Massimo Benerecetti, Daniele Dell'Erba, Marco Faella, Fabio Mogavero
From Quasi-Dominions to Progress Measures. CoRR (2020)
Marco Faella, Luigi Sauro
Preference Theories on Weak Orders. OVERLAY@AI*IA (2019)
Marco Faella, Luigi Sauro
Do all Tournaments Admit Irrelevant Matches? AAMAS (2018)
Massimo Benerecetti, Marco Faella
Tracking smooth trajectories in linear hybrid systems. Inf. Comput. 257 (2017)
Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro
A New Semantics for Overriding in Description Logics (Extended Abstract). IJCAI (2017)
Massimo Benerecetti, Marco Faella
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control. ACM Trans. Embed. Comput. Syst. 16 (4) (2017)
Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania
Hedging Bets in Markov Decision Processes. CSL (2016)
Luca de Alfaro, Marco Faella
TrueReview: A Platform for Post-Publication Peer Review. CoRR (2016)
Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro
Generalized Agent-mediated Procurement Auctions. AAMAS (2016)
Luca de Alfaro, Marco Faella, Vassilis Polychronopoulos, Michael Shavlovsky
Incentives for Truthful Evaluations. CoRR (2016)
Marco Faella
Average Controllability Measures for Solitaire Games. AAMAS (2016)
Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro
A new semantics for overriding in description logics. Artif. Intell. 222 (2015)
Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter
Decidability of Circumscribed Description Logics Revisited. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Marco Faella, Aniello Murano
Preface to the special issue on GandALF 2012. Theor. Comput. Sci. 560 (2014)
Marco Faella, Salvatore La Torre, Aniello Murano
Automata-theoretic decision of timed games. Theor. Comput. Sci. 515 (2014)
Piero A. Bonatti, Marco Faella, Luigi Sauro
Defeasible Inclusions in Low-Complexity DLs. CoRR (2014)
Piero A. Bonatti, Marco Faella, Luigi Sauro
Partial Preferences for Mediated Bargaining. SR (2014)
Marco Anisetti, Claudio Agostino Ardagna, Piero A. Bonatti, Ernesto Damiani, Marco Faella, Clemente Galdi, Luigi Sauro
E-Auctions for Multi-Cloud Service Provisioning. IEEE SCC (2014)
Piero A. Bonatti, Luigi Sauro, Marco Faella, Clemente Galdi
An Integrated Formal Approach to Usage Control. IEEE Symposium on Security and Privacy Workshops (2013)
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman
Code aware resource management. Formal Methods Syst. Des. 42 (2) (2013)
Massimo Benerecetti, Marco Faella
Tracking differentiable trajectories across polyhedra boundaries. HSCC (2013)
Massimo Benerecetti, Marco Faella, Stefano Minopoli
Automatic synthesis of switching controllers for linear hybrid systems: Safety control. Theor. Comput. Sci. 493 (2013)
Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro
Auctions for Partial Heterogeneous Preferences. MFCS (2013)
Massimo Benerecetti, Marco Faella, Stefano Minopoli
Reachability games for linear hybrid systems. HSCC (2012)
Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
Quantitatively fair scheduling. Theor. Comput. Sci. 413 (1) (2012)
Massimo Benerecetti, Marco Faella, Stefano Minopoli
Towards Efficient Exact Synthesis for Linear Hybrid Systems GandALF (2011)
Piero A. Bonatti, Marco Faella, Luigi Sauro
Defeasible Inclusions in Low-Complexity DLs. J. Artif. Intell. Res. 42 (2011)
Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
Exploring the boundary of half-positionality. Ann. Math. Artif. Intell. 62 (1-2) (2011)
Massimo Benerecetti, Marco Faella, Stefano Minopoli
Revisiting synthesis of switching controllers for Linear Hybrid systems. CDC/ECC (2011)
Massimo Benerecetti, Marco Faella, Stefano Minopoli
Automatic Synthesis of Switching Controllers for Linear Hybrid Automata CoRR (2011)
Piero A. Bonatti, Marco Faella, Luigi Sauro
Adding Default Attributes to EL++. AAAI (2011)
Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro
Towards a Mechanism for Incentivating Privacy. ESORICS (2011)
Piero A. Bonatti, Marco Faella, Luigi Sauro
On the Complexity of EL with Defeasible Inclusions. IJCAI (2011)
Marco Faella, Margherita Napoli, Mimmo Parente
Graded Alternating-Time Temporal Logic. LPAR (Dakar) (2010)
Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
Exploring the Boundary of Half Positionality. CLIMA (2010)
Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
Quantitative Fairness Games QAPL (2010)
Piero A. Bonatti, Marco Faella, Luigi Sauro
\mathcal{EL} with Default Attributes and Overriding. ISWC (1) (2010)
Marco Faella, Margherita Napoli, Mimmo Parente
Graded Alternating-Time Temporal Logic. Fundam. Informaticae 105 (1-2) (2010)
Piero A. Bonatti, Marco Faella, Luigi Sauro
Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. IJCAI (2009)
Marco Faella
Admissible Strategies in Infinite Games over Graphs. MFCS (2009)
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay
Qualitative Logics and Equivalences for Probabilistic Systems Log. Methods Comput. Sci. 5 (2) (2009)
Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
Balanced Paths in Colored Graphs. MFCS (2009)
Axel Legay, Marco Faella
Some Models and Tools for Open Systems CoRR (2009)
Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
Linear and Branching System Metrics. IEEE Trans. Software Eng. 35 (2) (2009)
B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman
Assigning trust to Wikipedia content. Int. Sym. Wikis (2008)
Marco Faella, Axel Legay, Mariëlle Stoelinga
Model Checking Quantitative Linear Time Logic. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Marco Faella
Best-Effort Strategies for Losing States CoRR (2008)
Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay
Qualitative Logics and Equivalences for Probabilistic Systems. QEST (2007)
Sabrina Baselice, Piero A. Bonatti, Marco Faella
On Interoperable Trust Negotiation Strategies. POLICY (2007)
Luca de Alfaro, Marco Faella
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. CAV (2007)
Axel Legay, Luca de Alfaro, Marco Faella
An Introduction to the Tool Ticc. Trustworthy Software (2006)
B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy
Ticc: A Tool for Interface Compatibility and Composition. CAV (2006)
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
Compositional Quantitative Reasoning. QEST (2006)
Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
Sociable Interfaces. FroCoS (2005)
Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
Model checking discounted temporal properties. Theor. Comput. Sci. 345 (1) (2005)
Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar
Code aware resource management. EMSOFT (2005)
B. Thomas Adler, Luca de Alfaro, Marco Faella
Average Reward Timed Games. FORMATS (2005)
Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
Model Checking Discounted Temporal Properties. TACAS (2004)
Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
Linear and Branching Metrics for Quantitative Transition Systems. ICALP (2004)
Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
The Element of Surprise in Timed Games. CONCUR (2003)
Luca de Alfaro, Marco Faella
Information Flow in Concurrent Games. ICALP (2003)
Marco Faella, Salvatore La Torre, Aniello Murano
Dense Real-Time Games. LICS (2002)
Marco Faella, Salvatore La Torre, Aniello Murano
Automata-Theoretic Decision of Timed Games. VMCAI (2002)