Reactive Symbolic Planning and Control in Dynamic Adversarial Environments (Q6056398)
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: Reactive Symbolic Planning and Control in Dynamic Adversarial Environments |
scientific article; zbMATH DE number 7744829
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reactive Symbolic Planning and Control in Dynamic Adversarial Environments |
scientific article; zbMATH DE number 7744829 |
Statements
Reactive Symbolic Planning and Control in Dynamic Adversarial Environments (English)
0 references
2 October 2023
0 references
adversarial environment
0 references
reach-avoid
0 references
reactive synthesis
0 references
symbolic planning and control
0 references
temporal logic
0 references
