Search Sciweavers | Sciweavers

2465 search results - page 18 / 493

» Automata on Linear Orderings

click to vote

FSTTCS
2006
Springer

88views Software Engineering» more FSTTCS 2006»

Validity Checking for Finite Automata over Linear Arithmetic Constraints

13 years 11 months ago

Download www.cs.ucdavis.edu

Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...

Gary Wassermann, Zhendong Su

claim paper

Read More »

click to vote

DDECS
2007
IEEE

103views Hardware» more DDECS 2007»

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata

14 years 2 months ago

Download ira.informatik.uni-freiburg.de

Marc Herbstritt, Bernd Becker, Erika Ábrah&...

claim paper

Read More »

click to vote

CAI
2007
Springer

88views Information Technology» more CAI 2007»

Restarting Tree Automata and Linear Context-Free Tree Languages

14 years 1 months ago

Download www.theory.informatik.uni-kassel.de

Heiko Stamer, Friedrich Otto

claim paper

Read More »

click to vote

FORMATS
2007
Springer

92views Formal Methods» more FORMATS 2007»

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

14 years 1 months ago

Download www.lsv.ens-cachan.fr

Susmit Jha, Bryan A. Brady, Sanjit A. Seshia

posted by susmitjha

Read More »

click to vote

HYBRID
2007
Springer

105views Control Systems» more HYBRID 2007»

Learning Cycle-Linear Hybrid Automata for Excitable Cells

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers