Hybrid automata

Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model

by Sergiy Bogomolov, Marcelo Forets, Kostiantyn Potomkin (2020)