Contact Mailing Address: A. Prasad SistlaDepartment of Computer Science University of Illinois, Chicago 1120 Science Engineering Offices ( MC 152 ) 851 South Morgan...
Publications Conference Publications under isolation and the Value problem for hierarchical probabilistic automata (with Rohit Chadha, Mahesh Viswanathan), 20th...
Talks the full range of regular properties of Stochastic Systems, VMCAI, 2009 of Randomization in Automata on Finite Strings , UIC, 2009 Temporal Properties...
Experience August 2000 onwards: Full Professor, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago. August 1994 July...
Experiance August 2000 onwards: Full Professor, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago. August 1994 July...
Tools Symmetry Based Model Checker @2000 Copyright A.Prasad Sistla and University of Illinois at Chicago SMC is a symmetry based model checker that was developed...
Sistla Web Preferences The following settings are web preferences of the Sistla web. These preferences overwrite the site level preferences in . and...
This is a subscription service to be automatically notified by e mail when topics change in this 1 web. This is a convenient service, so you do not have to come...