Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components

Calinescu, Radu orcid.org/0000-0002-2678-9260, Imrie, Calum Corrie, Mangal, Ravi et al. (4 more authors) (2024) Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. IEEE Transactions on Software Engineering. pp. 1374-1395. ISSN 0098-5589

Abstract

Metadata

Item Type: Article
Authors/Creators:
  • Calinescu, Radu ORCID logo https://orcid.org/0000-0002-2678-9260
  • Imrie, Calum Corrie (calum.imrie@york.ac.uk)
  • Mangal, Ravi
  • Rodrigues, Genaina
  • S.Păsăreanu, Corina
  • Alpizar Santana, Misael (ma1590@york.ac.uk)
  • Vazquez Flores, Gricel (gricel.vazquez@york.ac.uk)
Copyright, Publisher and Additional Information:

© 2024 The Authors

Keywords: discrete-event controller synthesis,Markov model,deep neural network,uncertainty quantification,neuro-symbolic AI
Dates:
  • Published: 1 June 2024
  • Accepted: 26 March 2024
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/V026747/1
Depositing User: Pure (York)
Date Deposited: 04 Apr 2024 08:20
Last Modified: 21 Jan 2025 18:12
Published Version: https://doi.org/10.1109/TSE.2024.3385378
Status: Published
Refereed: Yes
Identification Number: 10.1109/TSE.2024.3385378
Open Archives Initiative ID (OAI ID):

Download

Filename: 10496502.pdf

Description: Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components

Licence: CC-BY-NC-ND 2.5

Export

Statistics