The following pages link to Decidable integration graphs. (Q1854273):
Displaying 10 items.
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Optimal paths in weighted timed automata (Q596026) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- Verification of duration systems using an approximation approach (Q1429422) (← links)
- Positive loop-closed automata: A decidable class of hybrid systems (Q1858439) (← links)
- On the optimal reachability problem of weighted timed automata (Q2385195) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- On model-checking timed automata with stopwatch observers (Q2492187) (← links)
- Symbolic verification of hybrid systems: an algebraic approach (Q2512180) (← links)
- Interval Duration Logic (Q2842590) (← links)
