Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges.

Nathan Fulton Nathan Hunt Nghia Hoang Subhro Das

Published in: CoRR (2020)

Keyphrases

end to end
formal verification
reinforcement learning
congestion control
web services
cyber physical systems