AAAI 2014 Symposium
We are part of the AAAI 2014 Symposium which can be found by following the link: http://www.aaai.org/Symposia/Spring/sss14.php.
Modeling in Human-Machine Systems: Challenges for Formal Verification
We are part of the AAAI 2014 Symposium which can be found by following the link: http://www.aaai.org/Symposia/Spring/sss14.php.