![]() Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems, Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Runtime verification of parametric properties using SMEDL, Teng Zhang, Ramneet Kaur, Insup Lee, and Oleg Sokolsky Overhead-Aware Deployment of Runtime Monitors, Teng Zhang, Greg Eakman, Insup Lee, and Oleg Sokolsky Phan, Hyon-Young Choi, Yuhan Lin, Haoran Li, Chenyang Lu, and Insup Lee Holistic resource allocation for multicore real-time systems, Meng Xu, Linh T.X. LCV: A Verification Tool for Linear Controller Software, Junkil Park, Miroslav Pajic, Oleg Sokolsky, and Insup Lee Pappas, and Insup LeeĪ Retrospective Look at the Monitoring and Checking (MaC) Framework, Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, and Mahesh Viswanathanĭetecting Security Leaks in Hybrid Systems with Information Flow Analysis, Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, and Rajeev Alur Verisig: verifying safety properties of hybrid systems with neural network controllers, Radoslav Ivanov, James Weimer, Rajeev Alur, George J. PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction, Sangdon Park, Osbert Bastani, Nikolai Matni, and Insup LeeĬalibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation, Sangdon Park, Osbert Bastani, James Weimer, and Insup LeeĬompositional Probabilistic Analysis of Temporal Properties over Stochastic Detectors, Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, and Insup Lee Carpenter, James Weimer, Rajeev Alur, George Pappas, and Insup Lee Verifying the Safety of Autonomous Systems with Neural Network Controllers, Radoslav Ivanov, Taylor J. ![]() Improving Neural Network Robustness via Persistency of Excitation, Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, and James WeimerĬase Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller, Radoslav Ivanov, Taylor J. Peleckis, Laura Grunin, Gary Yu, Sooyong Jang, James Weimer, Insup Lee, Michael R. Cronholm, Ben Cocchiaro, James Weimer, Alexis Roth, Stephen Lankenau, and Jacob Brennerĭetecting OODs as datapoints with High Uncertainty, Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, and Insup LeeĬharacterizing Glycemic Control and Sleep in Adults with Long-Standing Type 1 Diabetes and Hypoglycemia Unawareness Initiating Hybrid Closed Loop Insulin Delivery, Susan Kohl Malone, Amy J. Willingness to Use a Wearable Device Capable of Detecting and Reversing Overdose Among People Who Use Opioids in Philadelphia, Katie Kanter, Ryan Gallagher, Feyisope Eweje, Alexander Lee, David Gordon, Stephen Landy, Julia Gasior, Haideliza Soto-Calderon, Peter F. Real-Time Detectors for Digital and Physical Adversarial Inputs to Perception Systems, Yiannis Kantaros, Taylor Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, and James Weimer Improving Classifier Confidence using Lossy Label-Invariant Transformations, Sooyong Jang, Insup Lee, and James Weimer Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning, Radoslav Ivanov, Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas, and Insup Lee ![]() Reconfiguring Non-Convex Holes in Pivoting Modular Cube Robots, Daniel Adam Feshbach and Cynthia Sung Carpenter, Radoslav Ivanov, Insup Lee, and James Weimer ![]() ModelGuard: Runtime Validation of Lipschitz-continuous Models, Taylor J. Guaranteed Conformance of Neurosymbolic Models to Natural Constraints, Kaustubh Sridhar, Souradeep Dutta, James Weimer, and Insup Lee Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates, Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, and Julia Parish-Morris
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |