Formally Verifying Decompositions of Stochastic Specifications.

Anton Hampus Mattias Nyberg

Published in: FMICS (2022)

Keyphrases

functional requirements
monte carlo
real time
stochastic nature
specification language
formal specification language
formal specification
model checking
database design
least squares
high level
probability distribution
reinforcement learning
real world
stochastic optimization
neural network
database