M. K. Valiev

From MaRDI portal
Person:1040333

Available identifiers

zbMath Open valiev.mars-kMaRDI QIDQ1040333

List of research outcomes





PublicationDate of PublicationType
Systems of agents controlled by logical programs: complexity of verification2009-11-24Paper
On complexity of verification of interacting agents' behavior2006-08-16Paper
On feasible cases of checking multi-agent systems behavior.2003-08-17Paper
https://portal.mardi4nfdi.de/entity/Q47089122003-06-20Paper
Application of temporal logic to program specification2001-04-26Paper
https://portal.mardi4nfdi.de/entity/Q45112712000-10-30Paper
https://portal.mardi4nfdi.de/entity/Q40852621975-01-01Paper

Research outcomes over time

This page was built for person: M. K. Valiev

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1040333&oldid=11047698"
Powered by MediaWiki