Mikhail Bernadsky

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

Rajeev Alur, Mikhail Bernadsky, 2006, HSCC.

Optimal Reachability for Weighted Timed Games

Rajeev Alur, P. Madhusudan, Mikhail Bernadsky, 2004, ICALP.

Symbolic Analysis for GSMP Models with One Stateful Clock

Rajeev Alur, Mikhail Bernadsky, 2007, HSCC.

Structured Modeling of Concurrent Stochastic Hybrid Systems

Rajeev Alur, Mikhail Bernadsky, Raman Sharykin, 2004, FORMATS/FTRTFT.