EXPTIME-complete decision problems for modal and mixed specifications (Q5170664)
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: EXPTIME-complete decision problems for modal and mixed specifications |
scientific article; zbMATH DE number 6320171
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | EXPTIME-complete decision problems for modal and mixed specifications |
scientific article; zbMATH DE number 6320171 |
Statements
EXPTIME-complete Decision Problems for Modal and Mixed Specifications (English)
0 references
23 July 2014
0 references
EXPTIME-completeness
0 references
decision problem
0 references
mixed transition system
0 references
modal transition system
0 references
0.9172651171684264
0 references
0.8788403868675232
0 references
0.8048044443130493
0 references
0.7841141819953918
0 references
0.7423747777938843
0 references
