Meeting: AAAI Modeling in Human-Machine Systems: Challenges for Formal Verification
Location: Palo Alto, CA
Country: United States
Start Date: March 24, 2014
End Date: March 26, 2014
Sponsors: Association for the Advancement of Artificial Intelligence