503 search results - page 12 / 101 » Probabilistic Weighted Automata |
APLAS
2007
ACM
14 years 18 days ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
JLP
2010
13 years 3 months ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
IANDC
2011
13 years 3 months ago
2011
We present a systematic way to generate (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of quantitative ...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
FOCS
1997
IEEE
14 years 25 days ago
1997
IEEE
In this paper, we introduce 1-way and 2-way quantum nite state automata (1qfa's and 2qfa's), which are the quantum analogues of deterministic, nondeterministic and proba...