Bayesian Approach to Temporal Logic Control of Uncertain Systems.

Oliver Schön Birgit van Huijgevoort Sofie Haesaert Sadegh Soudjani

Published in: CoRR (2023)

Keyphrases

temporal logic
model checking
dynamic constraints
reactive systems
complex systems
satisfiability problem
temporal knowledge
expert systems
distributed systems
modal logic
verification method
knowledge base
search algorithm
dynamical systems
qualitative differential equations