GENTILINI, Raffaella
GENTILINI, Raffaella
DIPARTIMENTO DI MATEMATICA E INFORMATICA
A note on the approximation of mean-payoff games
2014 Gentilini, Raffaella
A note on the approximation of mean-payoff games.
2011 Gentilini, Raffaella
A SAT encoding for solving games with energy objectives.
2013 Gentilini, Raffaella
A Uniform Approach to Three-Valued Semantics for mu-Calculus on Abstractions of Hybrid Automata.
2011 K., Bauer; Gentilini, Raffaella; K., Schneider
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata
2009 K., Bauer; Gentilini, Raffaella; K., Schneider
Accelerating Energy Games Solvers on Modern Architectures
2017 Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio
Algorithms for reducing structures in verification
2002 Gentilini, Raffaella; C., Piazza; A., Policriti
Approximated Reachability on Hybrid Automata: Falsification meets Certification
2008 Bauer, K.; Gentilini, Raffaella; Schneider, K.
Automated Abstraction-Refinement of Hybrid Automata for Monotonic CTL Model Checking
2007 Gentilini, Raffaella; Schneider, K.; Mishra, B.
Biconnectivity on Symbolically Represented Graphs: A Linear Solution.
2003 Gentilini, Raffaella; Policriti, A.
Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems.
2007 Gentilini, Raffaella; K., Schneider; A., Dreyer
Computing strongly connected components in a linear number of symbolic steps
2003 Gentilini, Raffaella; Piazza, C.; Policriti, A.
Energy and Mean-Payoff Games with Imperfect Information.
2010 A., Degorre; L., Doyen; Gentilini, Raffaella; J. F., Raskin; S., Torunczyk
Faster algorithms for mean-payoff games
2011 L., Brim; J., Chaloupka; L., Doyen; Gentilini, Raffaella; J. F., Raskin
Faster Pseudopolynomial Algorithms for Mean-Payoff Games
2009 L., Doyen; Gentilini, Raffaella; J. F., Raskin
Finite-Valued Weighted Automata
2014 E., Filiot; Gentilini, Raffaella; J. F., Raskin
From Bisimulation to Simulation: Coarsest Partition Problems
2003 Gentilini, Raffaella; Piazza, C.; Policriti, A.
Functional Weighted Automata
2014 E., Filiot; Gentilini, Raffaella; J. F., Raskin
Hybrid Automata in Systems Biology
2022 Casagrande, Alberto; Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto
Online firefighting on grids
2019 Demange, M.; Ellison, D.; Gentilini, R.