| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2021 | C | conf |
ACC
|
| 2021 | A* | conf |
ASE
|
| 2019 | J | jnl |
CoRR
|
| 2019 | C | conf |
ACC
|
| 2019 | A* | conf |
ICRA
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Auton. Robots
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
CAV (1)
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
CoRR
|
| 2018 | A | conf |
IROS
|
| 2018 | J | jnl |
CoRR
|
| 2017 | — | conf |
SYNT@CAV
|
| 2017 | — | conf |
Robotics: Science and Systems
|
| 2017 | J | jnl |
CoRR
|
| 2016 | Misc | conf |
EMSOFT
|
| 2015 | J | jnl |
CoRR
|
| 2015 | — | conf |
CDC
|
| 2015 | J | jnl |
CoRR
|
| 2015 | — | conf |
HSCC
|
| 2014 | Misc | conf |
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation.
EMSOFT
|
| 2012 | — | conf |
A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients.
Allerton Conference
|
| 2010 | — | conf |
NLPKE
|