The following pages link to M. K. Valiev (Q1040333):
Displayed 7 items.
- Systems of agents controlled by logical programs: complexity of verification (Q1040334) (← links)
- (Q1401354) (redirect page) (← links)
- On feasible cases of checking multi-agent systems behavior. (Q1401355) (← links)
- On complexity of verification of interacting agents' behavior (Q2498917) (← links)
- (Q4085262) (← links)
- (Q4511271) (← links)
- (Q4708912) (← links)