A Neurosymbolic Approach to the Verification of Temporal Logic
Properties of Learning enabled Control Systems

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems

7 March 2023

Tomoya Yamaguchi

Danil Prokhorov

Geogios Fainekos

Jyotirmoy Deshmukh

Papers citing "A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems"

5 / 5 papers shown

Title
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout Navid Hashemi Bardh Hoxha Danil Prokhorov Georgios Fainekos Jyotirmoy Deshmukh 35 0 0 23 Mar 2024
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach Neelanjana Pal Taylor T. Johnson 8 0 0 16 Nov 2023
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 292 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 246 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016