Search Sciweavers | Sciweavers

493 search results - page 9 / 99

» Alternating Weighted Automata

click to vote

JUCS
2006

121views more JUCS 2006»

On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata

13 years 7 months ago

Download faculty.nps.edu

: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...

Doron Drusinsky

claim paper

Read More »

click to vote

FSTTCS
2009
Springer

106views Software Engineering» more FSTTCS 2009»

Mediating for Reduction (on Minimizing Alternating Büchi Automata)

14 years 2 months ago

Download www.fit.vutbr.cz

Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Ho...

claim paper

Read More »

click to vote

FOSSACS
2005
Springer

121views Software Engineering» more FOSSACS 2005»

Alternating Timed Automata

14 years 1 months ago

Download tocl.acm.org

Slawomir Lasota, Igor Walukiewicz

claim paper

Read More »

click to vote

WIA
2005
Springer

99views Artificial Intelligence» more WIA 2005»

Deeper Connections Between LTL and Alternating Automata

14 years 29 days ago

Download www.fi.muni.cz

Radek Pelánek, Jan Strejcek

claim paper

Read More »

click to vote

FSTTCS
2004
Springer

89views Software Engineering» more FSTTCS 2004»

Alternation in Equational Tree Automata Modulo XOR

14 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers