The following pages link to Anuj Puri (Q1273865):
Displaying 7 items.
- What's decidable about hybrid automata? (Q1273866) (← links)
- An undecidable problem for timed automata (Q1300103) (← links)
- A minimized automaton representation of reachable states (Q1856175) (← links)
- Decidable hybrid systems (Q1922203) (← links)
- Dynamical properties of timed automata (Q1975199) (← links)
- Algorithms for the Multi-constrained Routing Problem (Q3046509) (← links)
- (Q3152831) (← links)
