10 results on '"Viswanathan, Mahesh"'
Search Results
2. C2E2: A Verification Tool for Stateflow Models
3. Deciding Concurrent Planar Monotonic Linear Hybrid Systems
4. Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints
5. Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
6. STORMED Hybrid Games
7. STORMED Hybrid Systems
8. A Decidable Class of Planar Linear Hybrid Systems
9. Hybrid automata-based CEGAR for rectangular hybrid systems
10. SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.