@inbook{Frehse2022,
    Abstract = {We present a collection of advances in the algorithmic verification of hybrid automata with piecewise linear derivatives, so-called Linear Hybrid Automata. New ways to represent and compute with polyhedra, in combination with heuristic algorithmic improvements, have led to considerable speed-ups in checking safety properties through set propagation. We also showcase a CEGAR-style approach that iteratively constructs a polyhedral abstraction. We illustrate the efficiency and scalability of both approaches with two sets of benchmarks.},
    Address = {Cham},
    Author = {Frehse, Goran and Giacobbe, Mirco and Zaffanella, Enea},
    BookTitle = {Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday},
    Editor = {Raskin, Jean-Fran{\c{c}}ois and Chatterjee, Krishnendu and Doyen, Laurent and Majumdar, Rupak},
    ISBN = {978-3-031-22337-2},
    Pages = {39--60},
    Publisher = {Springer Nature Switzerland},
    Title = {Symbolic Analysis of Linear Hybrid Automata -- 25 Years Later},
    URL = {https://doi.org/10.1007/978-3-031-22337-2\_3},
    Year = {2022},
    bdsk-url-1 = {https://doi.org/10.1007/978-3-031-22337-2\_3},
    date-added = {2023-01-02 13:21:04 +0100},
    date-modified = {2023-01-02 13:21:04 +0100},
    doi = {10.1007/978-3-031-22337-2_3}
}

@inbook{Frehse2022, Abstract = {We present a collection of advances in the algorithmic verification of hybrid automata with piecewise linear derivatives, so-called Linear Hybrid Automata. New ways to represent and compute with polyhedra, in combination with heuristic algorithmic improvements, have led to considerable speed-ups in checking safety properties through set propagation. We also showcase a CEGAR-style approach that iteratively constructs a polyhedral abstraction. We illustrate the efficiency and scalability of both approaches with two sets of benchmarks.}, Address = {Cham}, Author = {Frehse, Goran and Giacobbe, Mirco and Zaffanella, Enea}, BookTitle = {Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday}, Editor = {Raskin, Jean-Fran{\c{c}}ois and Chatterjee, Krishnendu and Doyen, Laurent and Majumdar, Rupak}, ISBN = {978-3-031-22337-2}, Pages = {39--60}, Publisher = {Springer Nature Switzerland}, Title = {Symbolic Analysis of Linear Hybrid Automata -- 25 Years Later}, URL = {https://doi.org/10.1007/978-3-031-22337-2_3}, Year = {2022}, bdsk-url-1 = {https://doi.org/10.1007/978-3-031-22337-2_3}, date-added = {2023-01-02 13:21:04 +0100}, date-modified = {2023-01-02 13:21:04 +0100}, doi = {10.1007/978-3-031-22337-2_3} }