📩 Aperture@thegaogroup.com
Verification, Human Oversight and Emerging Connectivity
Physical AI and AIoT Research Team of
Aperture Venture Studio, GAO RFID Inc. and GAO Tek Inc.
Verification should be embedded in every physical-control project. Dedicated research can develop reusable methods that work across applications.
Runtime Assurance, Human Oversight and Physical Outcome Verification
Develop mechanisms that continuously check whether proposed and executed actions remain within permitted operating conditions.
Include approval policies, intervention interfaces, fallback behavior and independent confirmation of physical outcomes. Human oversight should be designed around what operators can realistically understand and respond to.
Research questions
When should the system act, request approval or abstain? Can monitoring detect unsafe or ineffective behavior before it causes an unacceptable outcome?
Initial demonstration
Introduce conflicting readings, failed actuators and unexpected process responses into an agent-controlled testbed.
Evaluation
Detection coverage, unnecessary interventions, response time, operator workload and successful transition to a defined fallback state.
Bounded Formal Verification and Foundation-Model Action Assurance
Study verifiable properties of systems that use foundation models for planning or interpretation. Focus on action interfaces, permissions, state transitions and constraints that can be specified precisely.
For example, a system could verify that a required precondition holds before allowing a particular command. Such a result applies within its stated assumptions; it does not prove the entire physical system safe.
Research questions
How can open-ended model outputs be translated into checkable actions? Which properties can be guaranteed, and which require empirical monitoring?
Initial demonstration
A restricted action interface with formally specified rules, tested against adversarial or erroneous model proposals.
Evaluation
Property coverage, rejected invalid actions, computational overhead and documented limits of the guarantees.