Marco Muñiz

Available identifiers

zbMath Open muniz.marcoMaRDI QIDQ832028

List of research outcomes

Publication	Date of Publication	Type
Start pruning when time gets urgent: partial order reduction for timed systems	2023-05-26	Paper
Partial order reduction for reachability games	2023-02-03	Paper
Urgent Partial Order Reduction for Extended Timed Automata	2022-12-22	Paper
On-the-Fly Synthesis for Strictly Alternating Games	2022-09-01	Paper
Stubborn set reduction for timed reachability and safety games	2022-03-24	Paper
An integer static analysis for better extrapolation in Uppaal	2022-03-24	Paper
Stubborn set reduction for two-player reachability games	2021-03-26	Paper
Quasi-dependent variables in hybrid automata	2017-05-16	Paper
Detecting quasi-equal clocks in timed automata	2013-08-16	Paper
Timed automata with disjoint activity	2012-11-21	Paper
Reducing quasi-equal clocks in networks of timed automata	2012-11-21	Paper
An efficient decision procedure for imperative tree data structures	2011-07-29	Paper

Research outcomes over time

This page was built for person: Marco Muñiz