Thread-modular Counter Abstraction for Parameterized Program Safety.

Thomas Pani Georg Weissenbacher Florian Zuleger

Published in: FMCAD (2020)

Keyphrases

hardware designs
high level
multi agent
modular structure
databases
real world
artificial neural networks
state space
computer programs
control program
decision theoretic planning