Raffaella Gentilini

Available identifiers

Publication	Date of Publication	Type
Rational Synthesis Under Imperfect Information	2021-01-20	Paper
Online Firefighting on Grids	2019-07-17	Paper
The Complexity of Rational Synthesis	2017-12-19	Paper
Finite-Valued Weighted Automata.	2017-04-25	Paper
Rank and simulation: the well-founded case	2015-12-28	Paper
Quantitative Languages Defined by Functional Automata	2015-10-29	Paper
Approximated Reachability on Hybrid Automata: Falsification meets Certification	2015-03-23	Paper
A note on the approximation of mean-payoff games	2014-04-17	Paper
Rank-Based Symbolic Bisimulation	2013-04-19	Paper
Quantitative Languages Defined by Functional Automata	2012-09-25	Paper
Faster algorithms for mean-payoff games	2011-05-23	Paper
Energy and mean-payoff games with imperfect information	2010-09-03	Paper
Algorithms and Computation	2009-08-07	Paper
Property Driven Three-Valued Model Checking on Hybrid Automata	2009-07-02	Paper
Symbolic graphs: Linear solutions to connectivity related problems	2008-02-18	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4472257	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4471346	2004-07-28	Paper
From bisimulation to simulation: Coarsest partition problems	2004-05-27	Paper

This page was built for person: Raffaella Gentilini