3750 search results - page 85 / 750 » Timed Automata Patterns |
TPHOL
2008
IEEE
14 years 5 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
PLANX
2008
14 years 2 days ago
2008
We investigate the complexity of earliest query answering for n-ary node selection queries defined by streaming tree automata (STAs). We elaborate an algorithm that selects query ...
DLT
2008
13 years 11 months ago
2008
We examine the succinctness of one-way, rotating, sweeping, and two-way deterministic finite automata (1dfas, rdfas, sdfas, 2dfas). Here, a sdfa is a 2dfa whose head can change di...
COLT
1998
Springer
14 years 2 months ago
1998
Springer
A new algorithm for learning one-variable pattern languages is proposed and analyzed with respect to its average-case behavior. We consider the total learning time that takes into...
ICALP
2010
Springer
14 years 18 days ago
2010
Springer
In the first part of the paper, we propose an algorithm which inputs an NFA A and a word a1