Publications Details

Publications / Conference Poster

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics

Hulette, Geoffrey C.; Armstrong, Robert C.; Mayo, Jackson R.; Ruthruff, Joseph

Abstract not provided.