The following pages link to Raffaella Gentilini (Q2446597):
Displaying 19 items.
- (Q537945) (redirect page) (← links)
- Faster algorithms for mean-payoff games (Q537946) (← links)
- From bisimulation to simulation: Coarsest partition problems (Q1431342) (← links)
- A note on the approximation of mean-payoff games (Q2446598) (← links)
- Symbolic graphs: Linear solutions to connectivity related problems (Q2471809) (← links)
- Finite-Valued Weighted Automata. (Q2978508) (← links)
- Rank and simulation: the well-founded case (Q3458888) (← links)
- Energy and Mean-Payoff Games with Imperfect Information (Q3586046) (← links)
- Property Driven Three-Valued Model Checking on Hybrid Automata (Q3638286) (← links)
- (Q4471346) (← links)
- (Q4472257) (← links)
- The Complexity of Rational Synthesis (Q4598263) (← links)
- Rank-Based Symbolic Bisimulation (Q4916208) (← links)
- Approximated Reachability on Hybrid Automata: Falsification meets Certification (Q4982085) (← links)
- Rational Synthesis Under Imperfect Information (Q5145317) (← links)
- Algorithms and Computation (Q5191684) (← links)
- Quantitative Languages Defined by Functional Automata (Q5891775) (← links)
- Quantitative Languages Defined by Functional Automata (Q5895229) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897961) (← links)
