Ivan Ruchkin
Scholar

Ivan Ruchkin

Google Scholar ID: 2c00FlAAAAAJ
Assistant Professor, Department of Electrical and Computer Engineering, University of Florida
Safe Autonomous SystemsCyber-Physical SystemsAssuranceVerificationMonitoring
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
489
 
H-index
10
 
i10-index
12
 
Publications
20
 
Co-authors
8
list available
Contact
TwitterOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
12 items
MLE-UVAD: Minimal Latent Entropy Autoencoder for Fully Unsupervised Video Anomaly Detection
2026
Cited
0
Confidence over Time: Confidence Calibration with Temporal Logic for Large Language Model Reasoning
2026
Cited
1
Deterministic World Models for Verification of Closed-loop Vision-based Systems
2025
Cited
0
Online Slip Detection and Friction Coefficient Estimation for Autonomous Racing
2025
Cited
0
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
2025
Cited
0
How Safe Will I Be Given What I Saw? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy
2025
Cited
0
Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
2025
Cited
0
Conservative Perception Models for Probabilistic Model Checking
2025
Cited
0
Resume (English only)
Co-authors
8 total
David Garlan
David Garlan
Professor of Computer Science, Carnegie Mellon University
Co-author 2
Co-author 2
Insup Lee
Insup Lee
Professor, Computer and Information Science, University of Pennsylvania
Oleg Sokolsky
Oleg Sokolsky
University of Pennsylvania
Co-author 5
Co-author 5
André Platzer
André Platzer
Alexander von Humboldt Professor, Karlsruhe Institute of Technology
Co-author 7
Co-author 7
Co-author 8
Co-author 8