Reactive Symbolic Planning and Control in Dynamic Adversarial Environments

DOI10.1109/TAC.2022.3195431OpenAlexW4289822736MaRDI QIDQ6056398

Unnamed Author, Ali Karimoddini, Albert C. Esterline, Unnamed Author, Unnamed Author

Publication date: 2 October 2023

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2022.3195431

zbMATH Keywords

temporal logicreactive synthesisadversarial environmentreach-avoidsymbolic planning and control

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Reactive Symbolic Planning and Control in Dynamic Adversarial Environments