Adaptive Symbolic Control for Finite-State Transition Systems With Grammatical Inference

DOI10.1109/TAC.2013.2272885zbMath1360.68588MaRDI QIDQ2983278

Jane Chandlee, Jie Fu, Herbert G. Tanner, Jeffrey Heinz

Publication date: 16 May 2017

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

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization

This page was built for publication: Adaptive Symbolic Control for Finite-State Transition Systems With Grammatical Inference