Hoang Minh Le
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
9
Active years
2008–2021
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | AISTATS | Online Robust Control of Nonlinear Systems with Large Uncertainty. | Dimitar Ho, Hoang Minh Le, John Doyle, Yisong Yue |
| 2019 | ICML | Batch Policy Learning under Constraints. | Hoang Minh Le, Cameron Voloshin, Yisong Yue |
| 2019 | IROS | Episodic Learning with Control Lyapunov Functions for Uncertain Robotic Systems | Andrew J. Taylor, Victor D. Dorobantu, Hoang Minh Le, Yisong Yue, Aaron D. Ames |
| 2018 | ICML | Hierarchical Imitation and Reinforcement Learning. | Hoang Minh Le, Nan Jiang, Alekh Agarwal, Miroslav Dudk, Yisong Yue, Hal Daum III |
| 2017 | ICML | Coordinated Multi-Agent Imitation Learning. | Hoang Minh Le, Yisong Yue, Peter Carr, Patrick Lucey |
| 2016 | CAV | ParCoSS: Efficient Parallelized Compiled Symbolic Simulation. | Vladimir Herdt, Hoang Minh Le, Daniel Groe, Rolf Drechsler |
| 2016 | CVPR | Learning Online Smooth Predictors for Realtime Camera Planning Using Recurrent Decision Trees. | Jianhui Chen, Hoang Minh Le, Peter Carr, Yisong Yue, James J. Little |
| 2016 | DATE | Towards formal verification of real-world SystemC TLM peripheral models - a case study. | Hoang Minh Le, Vladimir Herdt, Daniel Groe, Rolf Drechsler |
| 2016 | ICML | Smooth Imitation Learning for Online Sequence Prediction. | Hoang Minh Le, Andrew Kang, Yisong Yue, Peter Carr |
| 2015 | ATVA | Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules. | Vladimir Herdt, Hoang Minh Le, Daniel Groe, Rolf Drechsler |
| 2015 | DAC | Verifying SystemC using stateful symbolic simulation. | Vladimir Herdt, Hoang Minh Le, Rolf Drechsler |
| 2014 | DAC | Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. | Jan-Hendrik Oetjens, Nico Bannow, Markus Becker, Oliver Bringmann, Andreas Burger, Moomen Chaari, Samarjit Chakraborty, Rolf Drechsler, Wolfgang Ecker, Kim Grttner, Thomas Kruse, Christoph Kuznik, Hoang Minh Le, Andreas Mauderer, Wolfgang Mller, Daniel Mller-Gritschneder, Frank Poppen, Hendrik Post, Sebastian Reiter, Wolfgang Rosenstiel, S. Roth, Ulf Schlichtmann, Andreas von Schwerin, Bogdan-Andrei Tabacaru, Alexander Viehl |
| 2014 | DATE | Towards verifying determinism of SystemC designs. | Hoang Minh Le, Rolf Drechsler |
| 2013 | DAC | Verifying SystemC using an intermediate verification language and symbolic simulation. | Hoang Minh Le, Daniel Groe, Vladimir Herdt, Rolf Drechsler |
| 2013 | DATE | Scalable fault localization for SystemC TLM designs. | Hoang Minh Le, Daniel Groe, Rolf Drechsler |
| 2010 | MEMOCODE | Proving transaction and system-level properties of untimed SystemC TLM designs. | Daniel Groe, Hoang Minh Le, Rolf Drechsler |
| 2008 | DATE | Quantified Synthesis of Reversible Logic. | Robert Wille, Hoang Minh Le, Gerhard W. Dueck, Daniel Groe |