Cited By
View all- Zhao HZeng XChen TLiu ZWoodcock J(2021)Learning safe neural network controllers with barrier certificatesFormal Aspects of Computing10.1007/s00165-021-00544-533:3(437-455)Online publication date: 1-Jun-2021
- Ruprechter TKhosmood FGuetl C(2020)Deconstructing Human-assisted Video Transcription and Annotation for Legislative ProceedingsDigital Government: Research and Practice10.1145/33953161:3(1-24)Online publication date: 18-Nov-2020
- Sheng FZhu HHe JYang ZBowen J(2020)Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTPFormal Aspects of Computing10.1007/s00165-020-00513-432:2-3(275-314)Online publication date: 1-Jul-2020
- Show More Cited By