• Sign in
  • Sign up
conf.researchr.org / Christopher Alexander
  • NASA Formal Methods 2024 profile
  • POPL 2023 profile

Not registered as user

Name:Christopher Alexander
Affiliation:GE Research

Contributions

2024

NFM

  • Author of SMT-Based Aircraft Conflict Detection and Elimination within the NFM 2024-track

2023

Symposium on Practical Aspects of Declarative Languages

  • Author of UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper) within the PADL 2023-track
Share
xFri 3 Oct 02:51
using conf.researchr.org (v1.72.1)
Support page
Sign Up