A logic for specifying agent actions and observations with probability (Q4583956)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A logic for specifying agent actions and observations with probability |
scientific article; zbMATH DE number 6928593
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A logic for specifying agent actions and observations with probability |
scientific article; zbMATH DE number 6928593 |
Statements
29 August 2018
0 references
logic
0 references
POMDP
0 references
stochastic actions and observations
0 references
domain specification
0 references
tableau method
0 references
0.8852910995483398
0 references
0.7747256755828857
0 references
0.772148847579956
0 references
