Meet Taraviya

Meet Taraviya

MS Computer Science @UCLA / AI Researcher / IIT Bombay CSE graduate

Research seminar: Timed Petri Nets and BQOs

less than 1 minute read

Better quasi orders are special types of well quasi orders which enjoy many additional closure properties. We introduce BQOs and use their properties to prove that coverability is decidable in Timed Petri Nets.

Slides are available here.

You May Also Enjoy

Research seminar: Recursive Timed Automata

less than 1 minute read

Recursive Timed Automata (RTA) generalizes both Recursive State Machines and Timed Automata. This added power makes the problem of termination in RTA games u...