The following pages link to Jie An (Q2050094):
Displaying 7 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)
- Online causation monitoring of signal temporal logic (Q6535627) (← links)
