2632 search results - page 68 / 527 » Alternating Timed Automata |
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
JLP
2011
14 years 8 months ago
2011
104
click to vote
CAV
2007
Springer
15 years 7 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...
95
Voted
TIME
2002
IEEE
15 years 6 months ago
2002
IEEE
Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite autom...