Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems

by · Mar 22, 2021 · 8 views ·

AAMAS

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems