TAS::57 3600::TAS "ENABLING MORE COMPLEX AND ADAPTIVE SYSTEMS WITH MACHINE AND HUMAN COMPONENTS USING AUTOMATED REASONING METHODS"

Rensselaer Polytechnic Institute, Troy NY

Investigators