DOI10.1007/978-3-642-41071-0_12zbMath1409.68297OpenAlexW2244402125MaRDI QIDQ5166667
Graeme Smith, Qin Li
Publication date: 8 July 2014 Published in: Lecture Notes in Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-41071-0_12
zbMATH Keywords
temporal logicautonomous agentsrefinementObject-ZBDI agents
Mathematics Subject Classification ID
Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items
