The following pages link to Lakshmi Manasa (Q537905):
Displayed 10 items.
- Model checking weighted integer reset timed automata (Q537908) (← links)
- Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable (Q2799176) (← links)
- On Pure Nash Equilibria in Stochastic Games (Q2948480) (← links)
- What's decidable about recursive hybrid automata? (Q2988912) (← links)
- Adding Negative Prices to Priced Timed Games (Q3190143) (← links)
- Updatable Timed Automata with Additive and Diagonal Constraints (Q3507456) (← links)
- Timed Automata with Integer Resets: Language Inclusion and Expressiveness (Q3543291) (← links)
- (Q4608565) (← links)
- (Q4995373) (← links)
- (Q5275373) (← links)