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

A.C. van Hulst

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

288 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mechanical Engineering
Supervisors/Advisors	Baeten, Jos, Promotor Fokkink, Wan J., Promotor Reniers, Michel A., Copromotor
Award date	6 Sept 2016
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	978-90-386-4141-6
Publication status	Published - 6 Sept 2016

Proefschrift

Access to Document

@phdthesis{3b6be2c9bd3741959f257da8f12a5876,

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

author = "{van Hulst}, A.C.",

note = "Proefschrift",

year = "2016",

month = sep,

day = "6",

language = "English",

isbn = "978-90-386-4141-6",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mechanical Engineering",

}