371 search results - page 27 / 75 » Pushdown Automata Simulator |
113
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Simulations of weighted tree automata (wta) are considered. It is shown how such simulations can be decomposed into simpler functional and dual functional simulations also called f...
111
Voted
ACRI
2000
Springer
15 years 6 months ago
2000
Springer
This paper describes the first impressions of the development of a multi-agent system that can be used for visualising simulated pedestrian activity and behaviour to support the a...
115
click to vote
FORMATS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
127
Voted
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
97
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Strong and weak simulation relations have been proposed for Markov chains, while strong simulation and strong probabilistic simulation relations have been proposed for probabilisti...