The following pages link to Jie An (Q2050094):
Displayed 8 items.
- Inferring switched nonlinear dynamical systems (Q2050095) (← links)
- NIL: learning nonlinear interpolants (Q2305413) (← links)
- (Q3306501) (← links)
- Model Checking Bounded Continuous-time Extended Linear Duration Invariants (Q4561435) (← links)
- Learning One-Clock Timed Automata (Q5039523) (← links)
- (Q5209966) (← links)
- Learning deterministic one-clock timed automata via mutation testing (Q6160914) (← links)
- Active learning of one-clock timed automata using constraint solving (Q6160915) (← links)