Login / Signup
Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction.
B. C. van Huijgevoort
Siep Weiland
Sofie Haesaert
Published in:
IEEE Control. Syst. Lett. (2023)
Keyphrases
</>
temporal logic
stochastic systems
piecewise affine
model checking
conservation laws
modal logic
bounded model checking
verification method
stochastic models
linear temporal logic
control system
belief revision
control method
chaotic systems
computation tree logic
control parameters
control strategy
monte carlo