Showing 1–20 of 25 results
/ Date/ Name
Mar 12, 2021Use and Perceptions of Multi-Monitor Workstations: A Natural ExperimentFeb 8, 2022Verification-Aided Deep Ensemble SelectionJun 6, 2024Shield Synthesis for LTL Modulo TheoriesDec 6, 2022veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection SystemJun 20, 2022Constrained Reinforcement Learning for Robotics via Scenario-Based ProgrammingDec 16, 2025On Improving Deep Active Learning with Formal VerificationDec 1, 2025Systems Security Foundations for Agentic ComputingFeb 9, 2022Scenario-Assisted Deep Reinforcement LearningJun 10, 2024Verification-Guided Shielding for Deep Reinforcement LearningAug 7, 2024Hard to Explain: On the Computational Hardness of In-Distribution Model InterpretationMay 22, 2024Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier CertificatesFeb 7, 2024Analyzing Adversarial Inputs in Deep Reinforcement LearningJun 5, 2024Local vs. Global Interpretability: A Computational Complexity PerspectiveJan 5, 2026Deciding Serializability in Network SystemsJul 9, 2024Safe and Reliable Training of Learning-Based Aerospace ControllersApr 23, 2026NEST: Network Enforced Session Types (Technical Report)May 25, 2021Towards Scalable Verification of Deep Reinforcement LearningJan 25, 2024Marabou 2.0: A Versatile Formal Analyzer of Neural NetworksMay 26, 2022Verifying Learning-Based Robotic Navigation SystemsJul 31, 2023Formally Explaining Neural Networks within Reactive Systems