2465 search results - page 143 / 493 » Automata on Linear Orderings |
114
Voted
WIA
2000
Springer
15 years 4 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
153
Voted
ABIALS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In order to establish autonomous behavior for technical systems, the well known trade-off between reactive control and deliberative planning has to be considered. Within ...
105
click to vote
ASE
2010
15 years 28 days ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
74
Voted
ALIFE
2004
15 years 20 days ago
2004
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
95
Voted
TCS
2010
14 years 11 months ago
2010
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...