GENTILINI, Raffaella

GENTILINI, Raffaella  

DIPARTIMENTO DI MATEMATICA E INFORMATICA  

Mostra records
Risultati 1 - 20 di 37 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
A note on the approximation of mean-payoff games. 1-gen-2011 Gentilini, Raffaella
A SAT encoding for solving games with energy objectives. 1-gen-2013 Gentilini, Raffaella
Accelerating Energy Games Solvers on Modern Architectures 1-gen-2017 Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio
The Adversarial Stackelberg Value in Quantitative Games 1-gen-2020 Filliot, E.; Gentilini, R.; Raskin, Jf.
Algorithms for reducing structures in verification 1-gen-2002 Gentilini, Raffaella; C., Piazza; A., Policriti
Approximated Reachability on Hybrid Automata: Falsification meets Certification 1-gen-2008 Bauer, K.; Gentilini, Raffaella; Schneider, K.
Automated Abstraction-Refinement of Hybrid Automata for Monotonic CTL Model Checking 1-gen-2007 Gentilini, Raffaella; Schneider, K.; Mishra, B.
Biconnectivity on Symbolically Represented Graphs: A Linear Solution. 1-gen-2003 Gentilini, Raffaella; Policriti, A.
Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems. 1-gen-2007 Gentilini, Raffaella; K., Schneider; A., Dreyer
The Complexity of Rational Synthesis 1-gen-2016 Condurache, Rodica; Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean Fran{c{c}}ois
Computing strongly connected components in a linear number of symbolic steps 1-gen-2003 Gentilini, Raffaella; Piazza, C.; Policriti, A.
Energy and Mean-Payoff Games with Imperfect Information. 1-gen-2010 A., Degorre; L., Doyen; Gentilini, Raffaella; J. F., Raskin; S., Torunczyk
Faster algorithms for mean-payoff games 1-gen-2011 L., Brim; J., Chaloupka; L., Doyen; Gentilini, Raffaella; J. F., Raskin
Faster Pseudopolynomial Algorithms for Mean-Payoff Games 1-gen-2009 L., Doyen; Gentilini, Raffaella; J. F., Raskin
Finite-Valued Weighted Automata 1-gen-2014 E., Filiot; Gentilini, Raffaella; J. F., Raskin
From Bisimulation to Simulation: Coarsest Partition Problems 1-gen-2003 Gentilini, Raffaella; Piazza, C.; Policriti, A.
Functional Weighted Automata 1-gen-2014 E., Filiot; Gentilini, Raffaella; J. F., Raskin
A note on the approximation of mean-payoff games 1-gen-2014 Gentilini, Raffaella
Online firefighting on grids 1-gen-2019 Demange, M.; Ellison, D.; Gentilini, R.
Property Driven Three-Valued Model Checking on Hybrid Automata 1-gen-2009 K., Bauer; Gentilini, Raffaella; K., Schneider