No label defined (Q4799264)
From MaRDI portal
scientific article; zbMATH DE number 1884362
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1884362 |
Statements
18 March 2003
0 references
reasoning about actions
0 references
product
0 references
Dynamic Linear Time Temporal Logic
0 references
network of sequential agents
0 references
multiple agents
0 references
