The following pages link to Khushraj Madnani (Q2811350):
Displaying 6 items.
- Metric Temporal Logic with Counting (Q2811351) (← links)
- On Unary Fragments of MTL and TPTL over Timed Words (Q2938172) (← links)
- (Q5009457) (← links)
- Making Metric Temporal Logic Rational (Q5111294) (← links)
- An efficient quantifier elimination procedure for Presburger arithmetic (Q6532979) (← links)
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers (Q6610381) (← links)
