Raffaella Gentilini

Publication Activity (10 Years)

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

Top Topics

Nash Equilibrium

Imperfect Information

Top Venues

Publications

Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini
Passive Learning of Regular Data Languages in Polynomial Time and Data. CONCUR (2024)
Andrea Formisano, Raffaella Gentilini, Flavio Vella
Scalable Energy Games Solvers on GPUs. IEEE Trans. Parallel Distributed Syst. 32 (12) (2021)
Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
The Adversarial Stackelberg Value in Quantitative Games. CoRR (2020)
Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
The Adversarial Stackelberg Value in Quantitative Games. ICALP (2020)
Marc Demange, David Ellison, Raffaella Gentilini
Online Firefighting on Grids. ICTCS (2019)
Marc Demange, David Ellison, Raffaella Gentilini
Online Firefighting on Grids. CoRR (2019)
Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
Rational Synthesis Under Imperfect Information. LICS (2018)
Andrea Formisano, Raffaella Gentilini, Flavio Vella
Accelerating Energy Games Solvers on Modern Architectures. CoRR (2017)
Andrea Formisano, Raffaella Gentilini, Flavio Vella
Accelerating Energy Games Solvers on Modern Architectures. IA3@SC (2017)
Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
The Complexity of Rational Synthesis. ICALP (2016)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Rank and simulation: the well-founded case. J. Log. Comput. 25 (6) (2015)
Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
Quantitative Languages Defined by Functional Automata Log. Methods Comput. Sci. 11 (3) (2015)
Raffaella Gentilini
A note on the approximation of mean-payoff games. Inf. Process. Lett. 114 (7) (2014)
Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
Finite-Valued Weighted Automata. FSTTCS (2014)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Rank-Based Simulation on Acyclic Graphs. CILC (2012)
Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
Quantitative Languages Defined by Functional Automata. CONCUR (2012)
Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin
Faster algorithms for mean-payoff games. Formal Methods Syst. Des. 38 (2) (2011)
Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
-calculus on abstractions of hybrid automata. Int. J. Softw. Tools Technol. Transf. 13 (3) (2011)
Raffaella Gentilini
A Note on the Approximation of Mean-Payoff Games. CILC (2011)
Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk
Energy and Mean-Payoff Games with Imperfect Information. CSL (2010)
Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
Property Driven Three-Valued Model Checking on Hybrid Automata. WoLLIC (2009)
Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. Haifa Verification Conference (2008)
Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
Approximated Reachability on Hybrid Automata: Falsification meets Certification. Electron. Notes Theor. Comput. Sci. 223 (2008)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Symbolic Graphs: Linear Solutions to Connectivity Related Problems. Algorithmica 50 (1) (2008)
Raffaella Gentilini, Klaus Schneider, Bud Mishra
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. LFCS (2007)
Raffaella Gentilini, Klaus Schneider, Alexander Dreyer
Three-valued automated reasoning on analog properties. ACM Great Lakes Symposium on VLSI (2007)
Raffaella Gentilini, Klaus Schneider, Alexander Dreyer
Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems. MBMV (2007)
Raffaella Gentilini
Reachability Problems on Extended O-Minimal Hybrid Automata. FORMATS (2005)
Raffaella Gentilini, Alberto Policriti
Biconnectivity on Symbolically Represented Graphs: A Linear Solution. ISAAC (2003)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Computing strongly connected components in a linear number of symbolic steps. SODA (2003)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
From Bisimulation to Simulation: Coarsest Partition Problems. J. Autom. Reason. 31 (1) (2003)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Simulation as Coarsest Partition Problem. TACAS (2002)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Simulation Reduction as Constraint. Electron. Notes Theor. Comput. Sci. 76 (2002)
Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti
Rank-Based Symbolic Bisimulation (and Model Checking). Electron. Notes Theor. Comput. Sci. 67 (2002)