8 results on '"Viswanathan, Mahesh"'
Search Results
2. Statistical verification of PCTL using antithetic and stratified samples
3. Statistical model checking for unbounded until formulas
4. Statistical model checking: challenges and perspectives
5. Hybrid automata-based CEGAR for rectangular hybrid systems
6. Learning to verify branching time properties
7. Java-MaC: A Run-Time Assurance Approach for Java Programs
8. Multimedia document retrieval using speech and speaker recognition
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.