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