2632 search results - page 68 / 527 » Alternating Timed Automata |
158
Voted
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
162
click to vote
CAV
2007
Springer
16 years 26 days 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...
159
click to vote
TIME
2002
IEEE
15 years 11 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...