Login / Signup
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report).
Ondrej Lengál
Anthony W. Lin
Rupak Majumdar
Philipp Rümmer
Published in:
CoRR (2017)
Keyphrases
</>
concurrent systems
technical report
distributed systems
temporal logic
process algebra
formal specification
model checking
probabilistic model
transition systems
petri net
multi unit combinatorial auctions
probabilistic approaches
generative model
bayesian networks
neural network
probability theory
data driven