The following pages link to (Q2999187):
Displaying 7 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Exponential improvement of time complexity of model checking for multiagent systems with perfect recall (Q1938921) (← links)
- Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers (Q2689320) (← links)
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic (Q3003427) (← links)
- Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic (Q3449766) (← links)
- (Q4681373) (← links)
- (Q5151003) (← links)