Case Study Repository
Wireless Fire Alarm System
Ensuring Conformance to Industrial Standards through Formal Verification
Quasi-Dependent Variables
This page provides supporting material for the paper "Quasi-Dependent Variables in Hybrid Automata", published in 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014).
Quasi-equal Clocks Reduction
Supporting material to the paper Quasi-equal Clock Reduction: More Networks, More Queries.