| 2004 |
|---|
| 5 | EE | Jennifer M. Davoren,
Thomas Moor,
Rajeev Goré,
Vaughan Coulthard,
Anil Nerode:
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.
FORMATS/FTRTFT 2004: 52-67 |
| 4 | EE | Jennifer M. Davoren,
Vaughan Coulthard,
Nicolas Markey,
Thomas Moor:
Non-deterministic Temporal Logics for General Flow Systems.
HSCC 2004: 280-295 |
| 2002 |
|---|
| 3 | EE | Jennifer M. Davoren,
Thomas Moor,
Anil Nerode:
Hybrid Control Loops, A/D Maps, and Dynamic Specifications.
HSCC 2002: 149-163 |
| 2 | EE | Thomas Moor,
Jörg Raisch,
Siu O'Young:
Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations.
Discrete Event Dynamic Systems 12(1): 83-107 (2002) |
| 2001 |
|---|
| 1 | EE | Thomas Moor,
Jennifer M. Davoren:
Robust Controller Synthesis for Hybrid Systems Using Modal Logic.
HSCC 2001: 433-446 |
