A Logical Characterization of Individual-Based Models | IEEE Conference Publication | IEEE Xplore