Mars K. Valiev

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013

2011

Complexity of verification of nondeterministic probabilistic multiagent systems.

[BibT_eX]

[DOI]

Autom. Control. Comput. Sci., 2011

2009

Systems of agents controlled by logical programs: Complexity of verification.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2009

2008

Temporal Verification of Probabilistic Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Pillars of Computer Science, 2008

2006

On complexity of verification of interacting agents' behavior.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2006

2003

On feasible cases of checking multi-agent systems behavior.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

2002

Complexity of Multi-agent Systems Behavior.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

1999

Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 1999

1993

Product 1 over 1-Universality of Some Propositional Logics of Concurrent Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

1980

Decision Complexity of Variants of Propositional Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

On axiomatization of process logic.

[BibT_eX]

[DOI]

Proceedings of the Logics of Programs and Their Applications, 1980

1979

On Axiomatization of Deterministic Propositional Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1977

Universal group with twenty-one defining relations.

[BibT_eX]

[DOI]

Discret. Math., 1977

Real Time Computations with Restrictions on Tape Alphabet.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1975

On Polynomial Reducibility of Word Problem Under Embedding of Recursively Presented Groups in Finitely Presented Groups.

[BibT_eX]

[DOI]