Login / Signup
Specification Mining and Robust Design under Uncertainty: A Stochastic Temporal Logic Approach.
Panagiotis Kyriakis
Jyotirmoy V. Deshmukh
Paul Bogdan
Published in:
ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
</>
temporal logic
model checking
transition systems
linear temporal logic
formal verification
reactive systems
formal specification
modal logic
satisfiability problem
robust optimization
verification method
dynamic constraints
design process
reinforcement learning
formal specification language