3169 search results - page 56 / 634 » Robust Timed Automata |
101
Voted
IEICET
2010
15 years 2 months ago
2010
112
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
89
Voted
JLP
2011
14 years 10 months ago
2011
127
Voted
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
121
Voted
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...