Research in the Area of Systems Science and Control Engineering Reported from Institut Teknologi Sepuluh Nopember (Control design of discrete-time unicycle model using satisfiability modulo theory)

Related content

• Research output

• Control design of discrete-time unicycle model using satisfiability modulo theory

  Research output: Contribution to journal › Article › peer-review