State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 7614715
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems |
scientific article; zbMATH DE number 7614715 |
Statements
State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (English)
0 references
9 November 2022
0 references
0 references
0.9293754696846008
0 references
0.8507628440856934
0 references
0.7725695371627808
0 references
0.7700949907302856
0 references
0.7627018094062805
0 references
