Using Implications for Optimizing State Set Representations of Linear Hybrid Systems.
['Florian Pigorsch', 'Christoph Scholl']
Using Implications for Optimizing State Set Representations of Linear Hybrid Systems.