Control synthesis using modal logic and partial bisimilarity : a treatise supported by computer verified proofs

A.C. van Hulst

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

160 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mechanical Engineering
Supervisors/Advisors
  • Baeten, Jos, Promotor
  • Fokkink, Wan J., Promotor
  • Reniers, Michel A., Copromotor
Award date6 Sep 2016
Place of PublicationEindhoven
Publisher
Print ISBNs978-90-386-4141-6
Publication statusPublished - 6 Sep 2016

Bibliographical note

Proefschrift

Cite this