Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales

Terms and Conditions

Twitter GitHub LinkedIn Bluesky Youtube

© 2026 ResearchTrend.AI, All rights reserved.

Home
Papers
2103.05142
Cited By

Formal Verification of Stochastic Systems with ReLU Neural Network
Controllers

Formal Verification of Stochastic Systems with ReLU Neural Network Controllers

IEEE International Conference on Robotics and Automation (ICRA), 2021

8 March 2021

Panagiotis Vlantis

Michael M. Zavlanos

ArXiv (abs)PDF HTML

Papers citing "Formal Verification of Stochastic Systems with ReLU Neural Network Controllers"

2 / 2 papers shown

Certifying Robustness of Learning-Based Keypoint Detection and Pose
Estimation Methods

Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods

Luis Mattei-Mendez

395

4

0

31 Jul 2024

Verified Compositions of Neural Network Controllers for Temporal Logic
Control Objectives

Verified Compositions of Neural Network Controllers for Temporal Logic Control ObjectivesIEEE Conference on Decision and Control (CDC), 2022

Samarth Kalluraya

235

9

0

13 Sep 2022

Page 1 of 1