Author:Bernd Finkbeiner
KeyphrasesAutomata-based, causality, counterfactuals, decidability, Hyperproperties, HyperQPTL, modal logic, model checking, Promptness, QPTL, temporal logic, verification. |
| |||||
Copyright © 2012-2024 easychair.org. All rights reserved. |