Boltzmann samplers for first-order differential specifications.
Olivier BodiniOlivier RousselMichèle SoriaPublished in: Discret. Appl. Math. (2012)
Keyphrases
- higher order
- first order logic
- bayesian inference
- delay insensitive
- random sampling
- stochastic dominance
- formal specification
- inertia weight particle swarm optimization
- quantifier elimination
- finite state machines
- single image
- markov chain monte carlo
- functional requirements
- control flow
- logical formulas
- query language
- pairwise
- linear temporal logic
- neural network
- universally quantified
- real time