Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints

DOI10.1109/TAC.2016.2518639zbMath1359.68192MaRDI QIDQ2980278

Ufuk Topcu, Jie Fu

Publication date: 3 May 2017

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Supervisor synthesis of POMDP via automata learning ⋮ Safe autonomy under perception uncertainty using chance-constrained temporal logic ⋮ TeLEx: learning signal temporal logic from positive examples using tightness metric

This page was built for publication: Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints