Pacti: Scaling assume-guarantee reasoning for system analysis and design I Incer, A Badithela, J Graebener, P Mallozzi, A Pandey, SJ Yu, ... arXiv preprint arXiv:2303.17751, 2023 | 8 | 2023 |
Synthesizing reactive test environments for autonomous systems: testing reach-avoid specifications with multi-commodity flows A Badithela, JB Graebener, W Ubellacker, EV Mazumdar, AD Ames, ... 2023 IEEE International Conference on Robotics and Automation (ICRA), 12430 …, 2023 | 4 | 2023 |
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems JB Graebener, A Badithela, RM Murray NASA Formal Methods Symposium, 133-155, 2022 | 3 | 2022 |
Minimally constrained testing for autonomy with temporal logic specifications A Badithela, JB Graebener, RM Murray | 1 | 2022 |
Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications JB Graebener, AS Badithela, D Goktas, W Ubellacker, EV Mazumdar, ... arXiv preprint arXiv:2404.09888, 2024 | | 2024 |
Availability Vs. Lifetime Trade-Space In Spacecraft Computers MJ Schoppers, L Meshkat, JB Graebener 2023 IEEE 9th International Conference on Space Mission Challenges for …, 2023 | | 2023 |
Reasoning over Test Specifications Using Assume-Guarantee Contracts A Badithela, JB Graebener, I Incer, RM Murray NASA Formal Methods Symposium, 278-294, 2023 | | 2023 |
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture J Graebener, T Phan-Minh, J Yan, Q Zhao, RM Murray arXiv preprint arXiv:2103.12919, 2021 | | 2021 |
Study on thermal stabilization of a GEO-stationary telescope baffling system by integral application of phase change material K Bergmann, J Gräbener, D Wild, H Ulfers, M Czupalla 49th International Conference on Environmental Systems, 2019 | | 2019 |
A Model-Free Algorithm for Extremely Resilient Navigation CJ Stromberger, JB Graebener, JF Ragan, RM Murray | | |