Tue 4 Jun

Displayed time zone: Pacific Time (US & Canada) change

16:00 - 17:30
SMT-based Assurance of Behavioral SpecificationsNFM 2024 at Ballroom
Chair(s): Kristin Yvonne Rozier Iowa State University
16:00
25m
Talk
Model Refinement
NFM 2024
Douglas Smith Kestrel Institute, Srinivas Nedunuri Sandia National Laboratories
16:25
25m
Talk
Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
NFM 2024
Hussein Sibai Washington University in St. Louis, Sacha Huriot Washington University in St. Louis, Tyler Martin Washington University in St. Louis, Murat Arcak University of California, Berkeley
16:50
25m
Talk
SMT-Based Aircraft Conflict Detection and Elimination
NFM 2024
Saswata Paul GE Research, Baoluo Meng GE Research, Christopher Alexander GE Research