Follow
Mars Valiev
Mars Valiev
Unknown affiliation
No verified email
Title
Cited by
Cited by
Year
Temporal verification of probabilistic multi-agent systems
MI Dekhtyar, AJ Dikovsky, MK Valiev
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot …, 2008
362008
Decision complexity of variants of propositional dynamic logic
MK Valiev
Mathematical Foundations of Computer Science 1980: Proceedings of the 9th …, 1980
291980
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
231975
On axiomatization of deterministic propositional dynamic logic
MK Valiev
Mathematical Foundations of Computer Science 1979: Proceedings, 8th …, 1979
201979
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
172006
Examples of universal finitely presented groups
MK Valiev
Doklady Akademii Nauk 211 (2), 265-268, 1973
171973
On feasible cases of checking multi-agent Systems Behavior
M Dekhtyar, A Dikovsky, M Valiev
Theoretical Computer Science 303 (1), 63-81, 2003
152003
A theorem of G. Higman
MK Valiev
Algebra i logika 7 (3), 9-22, 1968
151968
On the complexity of the identity problem for finitely defined groups
MK Valiev
Algebra and Logic 8 (1), 2-21, 1969
121969
Complexity of multi-agent systems behavior
M Dekhtyar, A Dikovsky, M Valiev
European Workshop on Logics in Artificial Intelligence, 125-136, 2002
112002
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
101999
Universal group with twenty-one defining relations
MK Valiev
Discrete Mathematics 17 (2), 207-213, 1977
91977
Interpretation of modal logics as epistemic logics
M Valiev
Proceedings of the Conference Borzomi 88, 76-77, 1988
81988
On axiomatization of process logic
MK Valiev
Logics of Programs and Their Applications: Proceedings, Poznan, August 23–29 …, 1983
71983
Complexity of verification of nondeterministic probabilistic multiagent systems
MK Valiev, MI Dekhtyar
Automatic Control and Computer Sciences 45, 390-396, 2011
62011
Completeness of propositional dynamic logic with infinite repeating
J Sakalauskaite, MK Valiev
Mathematical Logic, 339-349, 1990
61990
Certain estimates of the time of computations on Turing machines with an input
MK Valiev
Cybernetics 6 (6), 734-741, 1970
61970
The complexity of the word problem for finitely presented groups
MK Valiev
Algebra i logika 8 (1), 5-43, 1969
61969
Systems of agents controlled by logical programs: Complexity of verification
MK Valiev, MI Dekhtyar, AY Dikovsky
Programming and Computer Software 35, 266-281, 2009
32009
Checking multi-agent systems behavior properties
M Dekhtyar, A Dikovsky, M Valiev
Proceedings 2002 IEEE International Conference on Artificial Intelligence …, 2002
32002
The system can't perform the operation now. Try again later.
Articles 1–20