GENTILINI, Raffaella

GENTILINI, Raffaella  

DIPARTIMENTO DI MATEMATICA E INFORMATICA  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.045 secondi).
Titolo Data di pubblicazione Autore(i) File
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.