24 results on '"Viswanathan, Mahesh"'
Search Results
2. Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
3. Controller Synthesis for Linear System With Reach-Avoid Specifications.
4. Exact quantitative probabilistic model checking through rational search
5. Verification of randomized security protocols
6. Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction
7. Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
8. Analyzing Real Time Linear Control Systems Using Software Verification
9. Experiences with Building Disaster Recovery for Enterprise-Class Clouds
10. Stability of linear autonomous systems under regular switching sequences
11. Verification of annotated models from executions
12. Automation System for Validation of Configuration and Security Compliance in Managed Cloud Services
13. Stability Analysis of Switched Linear Systems Defined by Regular Languages.
14. Model Checking MDPs with a Unique Compact Invariant Set of Distributions
15. Reasoning about MDPs as Transformers of Probability Distributions
16. Verifying Tolerant Systems Using Polynomial Approximations
17. Taking IT Management Services to a Cloud
18. J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols
19. Comparison of measures of speech quality for listening tests of text-to-speech systems
20. Stability Preserving Simulations and Bisimulations for Hybrid Systems.
21. Verisim: Formal Analysis of Network Simulations.
22. Verification of Bounded Discrete Horizon Hybrid Automata.
23. Matrix Quantization of Homomorphically Processed Images
24. Comment: Projection Methods Require Black Border Removal.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.