Reachability Modulo Theory Library.

Francesco Alberti Roberto Bruttomesso Silvio Ghilardi Silvio Ranise Natasha Sharygina

Published in: SMT@IJCAR (2012)

Keyphrases

theoretical framework
theoretical basis
computational model
website
relational databases
multiscale
multi agent
general theory
database
real time
three dimensional
objective function
multi agent systems
decision theory