Available identifiers
zbMath Open valiev.mars-kMaRDI QIDQ1040333
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Systems of agents controlled by logical programs: complexity of verification | 2009-11-24 | Paper |
On complexity of verification of interacting agents' behavior | 2006-08-16 | Paper |
On feasible cases of checking multi-agent systems behavior. | 2003-08-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4708912 | 2003-06-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4511271 | 2000-10-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4085262 | 1975-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: M. K. Valiev