Search Sciweavers | Sciweavers

2465 search results - page 19 / 493

» Automata on Linear Orderings

123

click to vote

HYBRID
2007
Springer

88views Control Systems» more HYBRID 2007»

Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction

16 years 4 days ago

Download www.cs.cmu.edu

Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, ...

claim paper

Read More »

140

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

16 years 2 days ago

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

115

click to vote

WIA
2005
Springer

64views Artificial Intelligence» more WIA 2005»

Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic

15 years 11 months ago

Download web.informatik.uni-bonn.de

Joachim Klein, Christel Baier

claim paper

Read More »

124

click to vote

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

15 years 11 months ago

Download www.iist.unu.edu

Pham Hong Thai, Dang Van Hung

claim paper

Read More »

128

click to vote

DMCCG
2001
Springer

119views Combinatorics» more DMCCG 2001»

Periodic Patterns in Orbits of Certain Linear Cellular Automata

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers