Near-optimal reactive synthesis incorporating runtime information

Bharadwaj, S., Vinod, A.P., Dimitrova, R. et al. (1 more author) (2020) Near-optimal reactive synthesis incorporating runtime information. In: Proceedings of 2020 IEEE International Conference on Robotics and Automation (ICRA). 2020 IEEE International Conference on Robotics and Automation (ICRA), 31 May - 31 Aug 2020, Paris, France. IEEE , pp. 10342-10348. ISBN 9781728173962

Abstract

Metadata

Authors/Creators:
  • Bharadwaj, S.
  • Vinod, A.P.
  • Dimitrova, R.
  • Topcu, U.
Copyright, Publisher and Additional Information: © 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. Reproduced in accordance with the publisher's self-archiving policy.
Keywords: Runtime; Switches; Games; Robots; Measurement; Safety; Planning
Dates:
  • Accepted: 31 January 2020
  • Published (online): 15 September 2020
  • Published: 15 September 2020
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: 22 Apr 2020 07:04
Last Modified: 15 Sep 2021 00:38
Status: Published
Publisher: IEEE
Refereed: Yes
Identification Number: https://doi.org/10.1109/ICRA40945.2020.9196581
Related URLs:

Share / Export

Statistics