11 results on '"Viswanathan, Mahesh"'
Search Results
2. Statistical Verification of PCTL Using Stratified Samples
3. A decidable class of planar linear hybrid systems
4. A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems**The authors acknowledge support for this work from NSF CPS grant 1329991.
5. Least upper bounds for probability measures and their applications to abstractions
6. Specifications for decidable hybrid games
7. Deciding branching time properties for asynchronous programs
8. Measuring speech quality for text-to-speech systems: development and assessment of a modified mean opinion score (MOS) scale
9. Preface
10. Computational Analysis of Run-time Monitoring
11. Spot-Checkers
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.