Search Sciweavers | Sciweavers

2465 search results - page 19 / 493

» Automata on Linear Orderings

click to vote

HYBRID
2007
Springer

88views Control Systems» more HYBRID 2007»

Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction

14 years 1 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

14 years 1 months ago

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

click to vote

WIA
2005
Springer

64views Artificial Intelligence» more WIA 2005»

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

14 years 1 months ago

Download web.informatik.uni-bonn.de

Joachim Klein, Christel Baier

claim paper

Read More »

click to vote

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

14 years 1 months ago

Download www.iist.unu.edu

Pham Hong Thai, Dang Van Hung

claim paper

Read More »

click to vote

DMCCG
2001
Springer

119views Combinatorics» more DMCCG 2001»

Periodic Patterns in Orbits of Certain Linear Cellular Automata

14 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers