Author:
Publication: Artificial Intelligence
When security games hit traffic: A deployed optimal traffic enforcement system
Autoepistemic answer set programming