The following pages link to Marco Muñiz (Q832028):
Displaying 10 items.
- Stubborn set reduction for timed reachability and safety games (Q832029) (← links)
- An integer static analysis for better extrapolation in Uppaal (Q832038) (← links)
- Detecting Quasi-equal Clocks in Timed Automata (Q2842671) (← links)
- Quasi-dependent variables in hybrid automata (Q2986955) (← links)
- Reducing Quasi-Equal Clocks in Networks of Timed Automata (Q4649393) (← links)
- Timed Automata with Disjoint Activity (Q4649396) (← links)
- On-the-Fly Synthesis for Strictly Alternating Games (Q5100753) (← links)
- An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043) (← links)
- (Q5856425) (← links)
- Partial order reduction for reachability games (Q5875384) (← links)
