Sfoglia per Autore
A Uniform Approach to Three-Valued Semantics for mu-Calculus on Abstractions of Hybrid Automata.
2011 K., Bauer; Gentilini, Raffaella; K., Schneider
Faster algorithms for mean-payoff games
2011 L., Brim; J., Chaloupka; L., Doyen; Gentilini, Raffaella; J. F., Raskin
Rank-based simulation on acyclic graphs.
2012 Gentilini, Raffaella; C., Piazza; A., Policriti
Quantitative Languages Defined by Functional Automata
2012 Emmanuel, Filiot; Gentilini, Raffaella; Jean François, Raskin
A SAT encoding for solving games with energy objectives.
2013 Gentilini, Raffaella
SAT Encodings for Solving Games with Energy Objectives
2014 Gentilini, Raffaella
Functional Weighted Automata
2014 E., Filiot; Gentilini, Raffaella; J. F., Raskin
Finite-Valued Weighted Automata
2014 E., Filiot; Gentilini, Raffaella; J. F., Raskin
A note on the approximation of mean-payoff games
2014 Gentilini, Raffaella
Rank and simulation: the well-founded case
2015 Gentilini, Raffaella; Piazza, C.; Policriti, A.
Quantitative languages defined by functional automata
2015 Filiot, E.; Gentilini, Raffaella; Raskin, J. F.
The Complexity of Rational Synthesis
2016 Condurache, Rodica; Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean Fran{c{c}}ois
Accelerating Energy Games Solvers on Modern Architectures
2017 Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio
Rational Synthesis under Imperfect Information
2018 Filiot, E.; Gentilini, R.; Raskin, ; J., -F.
Online firefighting on grids
2019 Demange, M.; Ellison, D.; Gentilini, R.
The Adversarial Stackelberg Value in Quantitative Games
2020 Filliot, E.; Gentilini, R.; Raskin, Jf.
Scalable Energy Games Solvers on GPUs
2021 Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio.
Hybrid Automata in Systems Biology
2022 Casagrande, Alberto; Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Uniform Approach to Three-Valued Semantics for mu-Calculus on Abstractions of Hybrid Automata. | 2011 | K., Bauer; Gentilini, Raffaella; K., Schneider | |
| Faster algorithms for mean-payoff games | 2011 | L., Brim; J., Chaloupka; L., Doyen; Gentilini, Raffaella; J. F., Raskin | |
| Rank-based simulation on acyclic graphs. | 2012 | Gentilini, Raffaella; C., Piazza; A., Policriti | |
| Quantitative Languages Defined by Functional Automata | 2012 | Emmanuel, Filiot; Gentilini, Raffaella; Jean François, Raskin | |
| A SAT encoding for solving games with energy objectives. | 2013 | Gentilini, Raffaella | |
| SAT Encodings for Solving Games with Energy Objectives | 2014 | Gentilini, Raffaella | |
| Functional Weighted Automata | 2014 | E., Filiot; Gentilini, Raffaella; J. F., Raskin | |
| Finite-Valued Weighted Automata | 2014 | E., Filiot; Gentilini, Raffaella; J. F., Raskin | |
| A note on the approximation of mean-payoff games | 2014 | Gentilini, Raffaella | |
| Rank and simulation: the well-founded case | 2015 | Gentilini, Raffaella; Piazza, C.; Policriti, A. | |
| Quantitative languages defined by functional automata | 2015 | Filiot, E.; Gentilini, Raffaella; Raskin, J. F. | |
| The Complexity of Rational Synthesis | 2016 | Condurache, Rodica; Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean Fran{c{c}}ois | |
| Accelerating Energy Games Solvers on Modern Architectures | 2017 | Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio | |
| Rational Synthesis under Imperfect Information | 2018 | Filiot, E.; Gentilini, R.; Raskin, ; J., -F. | |
| Online firefighting on grids | 2019 | Demange, M.; Ellison, D.; Gentilini, R. | |
| The Adversarial Stackelberg Value in Quantitative Games | 2020 | Filliot, E.; Gentilini, R.; Raskin, Jf. | |
| Scalable Energy Games Solvers on GPUs | 2021 | Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio. | |
| Hybrid Automata in Systems Biology | 2022 | Casagrande, Alberto; Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile