The following pages link to Pei-Hsin Ho (Q1291692):
Displayed 9 items.
- Item:Q1291692 (redirect page) (← links)
- The algorithmic analysis of hybrid systems (Q673868) (← links)
- The \(\beta\)-assignment problems (Q1291693) (← links)
- The \(\beta\)-assignment problem in general graphs (Q1370666) (← links)
- HyTech: A model checker for hybrid systems (Q1856193) (← links)
- Algorithmic analysis of nonlinear hybrid systems (Q4393079) (← links)
- Automated Technology for Verification and Analysis (Q5394168) (← links)
- CONTROLLABILITY AND COOPERATIVENESS ANALYSIS FOR AUTOMATIC ABSTRACTION REFINEMENT (Q5484901) (← links)
- The Domatic Number Problem in Interval Graphs (Q5749323) (← links)