The following pages link to Pavithra Prabhakar (Q636271):
Displaying 31 items.
- Automata and logics over finitely varying functions (Q636272) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems (Q1790657) (← links)
- Bisimulations for neural network reduction (Q2152656) (← links)
- Abstraction based verification of stability of polyhedral switched systems (Q2178203) (← links)
- A decidable class of planar linear hybrid systems (Q2257303) (← links)
- Hybridization based CEGAR for hybrid automata with affine dynamics (Q2272936) (← links)
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems (Q2926638) (← links)
- Deciding Concurrent Planar Monotonic Linear Hybrid Systems (Q2945600) (← links)
- A dynamic algorithm for approximate flow computations (Q2986721) (← links)
- Pre-orders for reasoning about stability (Q2986767) (← links)
- On the decidability of stability of hybrid systems (Q2986910) (← links)
- Hybridization for Stability Analysis of Switched Linear Systems (Q2988963) (← links)
- On Convergence of Concurrent Systems under Regular Interactions (Q3184697) (← links)
- Counter-Free Input-Determined Timed Automata (Q3510837) (← links)
- On the Expressiveness of MTL with Past Operators (Q3511245) (← links)
- STORMED Hybrid Systems (Q3519497) (← links)
- A Decidable Class of Planar Linear Hybrid Systems (Q3523124) (← links)
- STORMED Hybrid Games (Q3624600) (← links)
- Complexity Bounds for the Verification of Real-Time Software (Q3656878) (← links)
- Counterexample Guided Abstraction Refinement for Stability Analysis (Q4633549) (← links)
- Introduction to Hybrid Automata (Q4907865) (← links)
- Automata and Logics over Signals (Q4907871) (← links)
- Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)
- Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems (Q5172651) (← links)
- (Q5190775) (← links)
- Formal Synthesis of Stabilizing Controllers for Switched Systems (Q5275324) (← links)
- Robust Model Checking of Timed Automata under Clock Drifts (Q5275328) (← links)
- Verification of Bounded Discrete Horizon Hybrid Automata (Q5352841) (← links)
- On Continuous Timed Automata with Input-Determined Guards (Q5386000) (← links)
