Search Sciweavers | Sciweavers

936 search results - page 35 / 188

» FSM-Hume is finite state

click to vote

RTSS
1994
IEEE

85views Control Systems» more RTSS 1994»

Computing Quantitative Characteristics of Finite-State Real-Time Systems

14 years 28 days ago

Download www.cs.cmu.edu

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »

click to vote

FSTTCS
1994
Springer

115views Software Engineering» more FSTTCS 1994»

Finite-State Strategies in Regular Infinite Games

14 years 27 days ago

Download www.win.tue.nl

Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...

Wolfgang Thomas

claim paper

Read More »

click to vote

IFIP
1994
Springer

137views Programming Languages» more IFIP 1994»

Linear Speed-Up, Information Vicinity, and Finite-State Machines

14 years 27 days ago

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

14 years 27 days ago

Download www-2.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

click to vote

EURODAC
1990
IEEE

73views VHDL» more EURODAC 1990»

A new method for the state reduction of incompletely specified finite sequential machines

14 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers