Temporal verification of probabilistic multi-agent systems MI Dekhtyar, AJ Dikovsky, MK Valiev Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot …, 2008 | 36 | 2008 |
Decision complexity of variants of propositional dynamic logic MK Valiev Mathematical Foundations of Computer Science 1980: Proceedings of the 9th …, 1980 | 29 | 1980 |
On polynomial reducibility of word problem under embedding of recursively presented groups in finitely presented groups MK Valiev International Symposium on Mathematical Foundations of Computer Science, 432-438, 1975 | 23 | 1975 |
On axiomatization of deterministic propositional dynamic logic MK Valiev Mathematical Foundations of Computer Science 1979: Proceedings, 8th …, 1979 | 20 | 1979 |
On complexity of verification of interacting agents’ behavior M Dekhtyar, A Dikovsky, M Valiev Annals of pure and applied logic 141 (3), 336-362, 2006 | 17 | 2006 |
Examples of universal finitely presented groups MK Valiev Doklady Akademii Nauk 211 (2), 265-268, 1973 | 17 | 1973 |
On feasible cases of checking multi-agent Systems Behavior M Dekhtyar, A Dikovsky, M Valiev Theoretical Computer Science 303 (1), 63-81, 2003 | 15 | 2003 |
A theorem of G. Higman MK Valiev Algebra i logika 7 (3), 9-22, 1968 | 15 | 1968 |
On the complexity of the identity problem for finitely defined groups MK Valiev Algebra and Logic 8 (1), 2-21, 1969 | 12 | 1969 |
Complexity of multi-agent systems behavior M Dekhtyar, A Dikovsky, M Valiev European Workshop on Logics in Artificial Intelligence, 125-136, 2002 | 11 | 2002 |
Applying temporal logic to analysis of behavior of cooperating logic programs MI Dekhtyar, AJ Dikovsky, MK Valiev International Andrei Ershov Memorial Conference on Perspectives of System …, 1999 | 10 | 1999 |
Universal group with twenty-one defining relations MK Valiev Discrete Mathematics 17 (2), 207-213, 1977 | 9 | 1977 |
Interpretation of modal logics as epistemic logics M Valiev Proceedings of the Conference Borzomi 88, 76-77, 1988 | 8 | 1988 |
On axiomatization of process logic MK Valiev Logics of Programs and Their Applications: Proceedings, Poznan, August 23–29 …, 1983 | 7 | 1983 |
Complexity of verification of nondeterministic probabilistic multiagent systems MK Valiev, MI Dekhtyar Automatic Control and Computer Sciences 45, 390-396, 2011 | 6 | 2011 |
Completeness of propositional dynamic logic with infinite repeating J Sakalauskaite, MK Valiev Mathematical Logic, 339-349, 1990 | 6 | 1990 |
Certain estimates of the time of computations on Turing machines with an input MK Valiev Cybernetics 6 (6), 734-741, 1970 | 6 | 1970 |
The complexity of the word problem for finitely presented groups MK Valiev Algebra i logika 8 (1), 5-43, 1969 | 6 | 1969 |
Systems of agents controlled by logical programs: Complexity of verification MK Valiev, MI Dekhtyar, AY Dikovsky Programming and Computer Software 35, 266-281, 2009 | 3 | 2009 |
Checking multi-agent systems behavior properties M Dekhtyar, A Dikovsky, M Valiev Proceedings 2002 IEEE International Conference on Artificial Intelligence …, 2002 | 3 | 2002 |