Login / Signup
Want to Gather? No Need to Chatter!
Sébastien Bouchard
Yoann Dieudonné
Andrzej Pelc
Published in:
SIAM J. Comput. (2023)
Keyphrases
</>
model checking
qualitative simulation
case study
state space
biologically inspired
gathering information