| Interaction Models and Automated Control under Partial Observable Environments | 0 | 0.34 | 2017 |
| Technical Report: Directed Controller Synthesis of Discrete Event Systems. | 0 | 0.34 | 2016 |
| Practical JFSL verification using TACO | 0 | 0.34 | 2014 |
| Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving | 12 | 0.53 | 2013 |
