EVE: A Tool for Temporal Equilibrium Analysis.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Browse the full ATVA paper archive.