57 search results - page 4 / 12 » On Stateless Automata and P Systems |
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents the dynamics of multi-agent reinforcement learning in multiple state problems. We extend previous work that formally modelled the relation between reinforcemen...
EDBT
2006
ACM
14 years 8 months ago
2006
ACM
Traditional content based publish/subscribe (pub/sub) systems allow users to express stateless subscriptions evaluated on individual events. However, many applications such as moni...
CAV
2006
Springer
14 years 9 days ago
2006
Springer
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...
RTSS
1998
IEEE
14 years 25 days ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...