Back to Search
Start Over
Automated analysis and verification of agent behavior.
- Source :
- International Conference on Autonomous Agents; Jan2006, p1317-1319, 3p
- Publication Year :
- 2006
Details
- Language :
- English
- Database :
- Complementary Index
- Journal :
- International Conference on Autonomous Agents
- Publication Type :
- Conference
- Accession number :
- 73615247
- Full Text :
- https://doi.org/10.1145/1160633.1160876