Deductive control synthesis for alternating-time logics

Dimitrova, R. and Majumdar, R. (2014) Deductive control synthesis for alternating-time logics. In: Mitra, T. and Reineke, J., (eds.) EMSOFT '14: Proceedings of the 14th International Conference on Embedded Software. ESWEEK'14: Tenth Embedded System Week, 12-17 Oct 2014, New Delhi, India. ACM Digital Library , pp. 1-10. ISBN 9781450330527



  • Dimitrova, R.
  • Majumdar, R.
Copyright, Publisher and Additional Information: © 2014 The Authors.
Keywords: Control synthesis; Deductive proof systems; Barrier certificates; Lyapunov functions
  • Published: 12 October 2014
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 07 Feb 2020 15:12
Last Modified: 07 Feb 2020 15:12
Status: Published
Publisher: ACM Digital Library
Refereed: Yes
Identification Number:

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export