Sciweavers

936 search results - page 86 / 188
» FSM-Hume is finite state
Sort
View
AAAI
1997
13 years 10 months ago
Reinforcement Learning with Time
This paper steps back from the standard infinite horizon formulation of reinforcement learning problems to consider the simpler case of finite horizon problems. Although finite ho...
Daishi Harada
ICML
2010
IEEE
13 years 10 months ago
Convergence of Least Squares Temporal Difference Methods Under General Conditions
We consider approximate policy evaluation for finite state and action Markov decision processes (MDP) in the off-policy learning context and with the simulation-based least square...
Huizhen Yu
ACTAC
2006
101views more  ACTAC 2006»
13 years 9 months ago
Cycle Structure in Automata and the Holonomy Decomposition
The algebraic hierarchical decomposition of finite state automata can be applied wherever a finite system should be `understood' using a hierarchical coordinate system. Here ...
Attila Egri-Nagy, Chrystopher L. Nehaniv
PTS
2007
81views Hardware» more  PTS 2007»
13 years 10 months ago
An EFSM-Based Passive Fault Detection Approach
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...
Hasan Ural, Zhi Xu
ASPDAC
2001
ACM
126views Hardware» more  ASPDAC 2001»
14 years 18 days ago
A new partitioning scheme for improvement of image computation
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
Christoph Meinel, Christian Stangier