Oleg Botchkarev

According to our database, Oleg Botchkarev authored at least 1 paper in 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations.

Oleg Botchkarev, Stavros Tripakis

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000