19 search results - page 4 / 4 » Simulation and Bisimulation for Probabilistic Timed Automata |
154
click to vote
QEST
2008
IEEE
16 years 6 days ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...
160
Voted
WSC
2007
15 years 8 months ago
2007
A Monte Carlo methodology is proposed for simulating air traffic blockage patterns under the impact of convective weather. The simulation utilizes probabilistic convective weather...
163
Voted
QEST
2010
IEEE
15 years 3 months ago
2010
IEEE
We study Timed Branching Processes (TBPs), a natural extension of (multitype) Branching Processes (BPs) where each entity is equipped with a finite set of private continuous variab...
169
Voted
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
We explore several different techniques in our quest to improve the overall model performance of a genetic algorithm calibrated probabilistic cellular automata. We use the Kappa ...