]> 2026-07-12T13:08:51+00:00 Layered T&E for Safety-Critical Autonomous Systems 0 en AFOSR 2025-09-29Z 2460947.5 FA9550-22-1-0333 AFOSR T&E2 2022-09-30Z 2459852.5 2025-11-30T20:14:35Z 2461010.3434607 Layered T&E for Safety-Critical Autonomous Systems 0 1 template 2 [[Current project::Layered T&E for Safety-Critical Autonomous Systems]] Layered T&E for Safety-Critical Autonomous Systems# QUERYb9206c038f407ed869da445f1608b894 0 1 template 3 [[Category:Group member]] [[Other projects::Layered T&E for Safety-Critical Autonomous Systems]] Layered T&E for Safety-Critical Autonomous Systems# QUERYe486c7e7fb1d7ef447b7d2949de105b4 0 1 template 3 [[Category:Group member]] [[Previous projects::Layered T&E for Safety-Critical Autonomous Systems]] Layered T&E for Safety-Critical Autonomous Systems# QUERYa7160d00f433f422c0e0da980273e929 0 1 template 3 [[Category:Papers]] [[Funding::Layered T&E for Safety-Critical Autonomous Systems]] Layered T&E for Safety-Critical Autonomous Systems# QUERY732f83a34290370fe79dc66c3262ccbd 0 1 template 3 [[Category:Collaborators]] [[Projects::Layered T&E for Safety-Critical Autonomous Systems]] Layered T&E for Safety-Critical Autonomous Systems# QUERYc7fa70e43dac9eb70d43088aaf243dc0 Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design 0 en Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design Efficient local validation of partially ordered models via Baysian directed sampling 0 en Efficient local validation of partially ordered models via Baysian directed sampling Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks 0 en Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications 0 en Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications Josefine Graebener 0 en Josefine Graebener Apurva Badithela 0 en Apurva Badithela Kellan Moorse 0 en Kellan Moorse Inigo Incer 0 en Inigo Incer Kimia Hassibi 0 en Kimia Hassibi Aaron Ames 0 en Aaron Ames AFOSR T&E2 0 en AFOSR T&E2 Funding 102 en Funding Previous projects 102 en Previous projects Projects 102 en Projects REDI 102 en REDI