On complexity of verification of systems of interacting intellectual agents
Abstract
no abstract
Conference Papers
Year : 2003
LS2N Hal : Connect in order to contact the contributor
https://hal.science/hal-00456522
Submitted on : Monday, February 15, 2010-12:02:43 PM
Last modification on : Friday, January 5, 2024-3:22:55 AM
Dates and versions
Identifiers
- HAL Id : hal-00456522 , version 1
Cite
Michael Dekhtyar, Alexander Dikovsky, Mars Valiev. On complexity of verification of systems of interacting intellectual agents. the IEEE International Conference on Artificial Intelligence Systems (AIS'2003), 2003, Russia. pp.N/P. ⟨hal-00456522⟩
Collections
24
View
0
Download