Mikhail Bernadsky

According to our database, Mikhail Bernadsky authored at least 4 papers between 2004 and 2007.

Collaborative distances:

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

2007

Symbolic Analysis for GSMP Models with One Stateful Clock.

Mikhail Bernadsky, Rajeev Alur

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

2006

Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems.

Rajeev Alur, Mikhail Bernadsky

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

2004

Optimal Reachability for Weighted Timed Games.

Rajeev Alur, Mikhail Bernadsky, P. Madhusudan

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

Structured Modeling of Concurrent Stochastic Hybrid Systems.

Mikhail Bernadsky, Raman Sharykin, Rajeev Alur

Proceedings of the Formal Techniques, 2004