Michael I. Dekhtyar

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▷ joint publications with Mars K. Valiev

> Home > Persons > Michael I. Dekhtyar

Publications

2013
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/DekhtyarV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/DekhtyarV13
Michael I. Dekhtyar, Mars K. Valiev:
Complexity of Verification of Fuzzy Multi-Agent Systems. MICAI (1) 2013: 169-184
2011
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/accs/ValievD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/accs/ValievD11
Mars K. Valiev, Michael I. Dekhtyar:
Complexity of verification of nondeterministic probabilistic multiagent systems. Autom. Control. Comput. Sci. 45(7): 390-396 (2011)
2009
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/pcs/ValievDD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pcs/ValievDD09
Mars K. Valiev, Michael I. Dekhtyar, Alexander Ja. Dikovsky:
Systems of agents controlled by logical programs: Complexity of verification. Program. Comput. Softw. 35(5): 266-281 (2009)
2008
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/DekhtyarDV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/DekhtyarDV08
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev:
Temporal Verification of Probabilistic Multi-Agent Systems. Pillars of Computer Science 2008: 256-265
2006
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/DekhtyarDV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/DekhtyarDV06
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev:
On complexity of verification of interacting agents' behavior. Ann. Pure Appl. Log. 141(3): 336-362 (2006)
2003
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DekhtyarDV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DekhtyarDV03
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev:
On feasible cases of checking multi-agent systems behavior. Theor. Comput. Sci. 303(1): 63-81 (2003)
2002
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/DekhtyarDV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/DekhtyarDV02
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev:
Complexity of Multi-agent Systems Behavior. JELIA 2002: 125-136
1999
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/DekhtyarDV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/DekhtyarDV99
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev:
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. Ershov Memorial Conference 1999: 228-234

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.