Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress) (Q2852031)
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: Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress) |
scientific article; zbMATH DE number 6213644
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress) |
scientific article; zbMATH DE number 6213644 |
Statements
7 October 2013
0 references
Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress) (English)
0 references
