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

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Dimitrova, R.
  • Majumdar, R.
Editors:
  • Mitra, T.
  • Reineke, J.
Copyright, Publisher and Additional Information:

© 2014 The Authors.

Keywords: Control synthesis; Deductive proof systems; Barrier certificates; Lyapunov functions
Dates:
  • 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: 10.1145/2656045.2656054
Open Archives Initiative ID (OAI ID):

Download not available

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

Export

Statistics