Login / Signup
Active and sparse methods in smoothed model checking.
Paul Piho
Jane Hillston
Published in:
CoRR (2021)
Keyphrases
</>
model checking
temporal logic
epistemic logic
computation tree logic