844 search results - page 77 / 169 » Safraless Decision Procedures |
EURODAC
1995
IEEE
14 years 11 days ago
1995
IEEE
Due to the ever increasing complexity of electronic system (ES) design, the conceptual design phase and its realization in later phases of the design stream have become increasing...
IJCAI
2007
13 years 10 months ago
2007
TD-FALCON is a self-organizing neural network that incorporates Temporal Difference (TD) methods for reinforcement learning. Despite the advantages of fast and stable learning, TD...
USENIX
1994
13 years 10 months ago
1994
In this paper, we demonstrate a technique called active probing used to study TCP implementations. Active probing treats a TCP implementation as a black box, and uses a set of pro...
ATVA
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
AUTOMATICA
2008
13 years 9 months ago
2008
It is well known that stochastic control systems can be viewed as Markov decision processes (MDPs) with continuous state spaces. In this paper, we propose to apply the policy iter...