Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

formal verification of cyber-physical systems, using reachability analysis for nonlinear hybrid automata.

cool. probably. no fucking clue actually.