Molecular modeling of reactive systems with REACTER.

Jacob R. Gissinger Benjamin D. Jensen Kristopher E. Wise

Published in: Comput. Phys. Commun. (2024)

Keyphrases

reactive systems
information flow
temporal logic
model checking
formal methods
control flow
real time
social networks
training set
intelligent agents
petri net
black box
modeling language