ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2011.00384
  4. Cited By
Predictive Monitoring with Logic-Calibrated Uncertainty for
  Cyber-Physical Systems

Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems

31 October 2020
Meiyi Ma
John A. Stankovic
E. Bartocci
Lu Feng
ArXivPDFHTML

Papers citing "Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems"

4 / 4 papers shown
Title
Formalizing and Evaluating Requirements of Perception Systems for
  Automated Vehicles using Spatio-Temporal Perception Logic
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic
Mohammad Hekmatnejad
Bardh Hoxha
Jyotirmoy V. Deshmukh
Yezhou Yang
Georgios Fainekos
28
6
0
29 Jun 2022
Learning Spatio-Temporal Specifications for Dynamical Systems
Learning Spatio-Temporal Specifications for Dynamical Systems
Suhail Alsalehi
Erfan Aasi
Ron Weiss
C. Belta
34
2
0
20 Dec 2021
DeepTake: Prediction of Driver Takeover Behavior using Multimodal Data
DeepTake: Prediction of Driver Takeover Behavior using Multimodal Data
Erfan Pakdamanian
Shili Sheng
Sonia Baee
Seongkook Heo
Sarit Kraus
Lu Feng
62
71
0
31 Dec 2020
Dropout as a Bayesian Approximation: Representing Model Uncertainty in
  Deep Learning
Dropout as a Bayesian Approximation: Representing Model Uncertainty in Deep Learning
Y. Gal
Zoubin Ghahramani
UQCV
BDL
287
9,156
0
06 Jun 2015
1