@inproceedings{Althoff_2012,
    doi = {10.1145/2185632.2185643},
    url = {https://doi.org/10.1145%2F2185632.2185643},
    year = {2012},
    month = {apr},
    publisher = {{ACM}},
    author = {Matthias Althoff and Bruce H. Krogh},
    title = {Avoiding geometric intersection operations in reachability analysis of hybrid systems},
    booktitle = {Proceedings of the 15th {ACM} international conference on Hybrid Systems: Computation and Control}
}

@inproceedings{Althoff_2012, doi = {10.1145/2185632.2185643}, url = {https://doi.org/10.1145%2F2185632.2185643}, year = {2012}, month = {apr}, publisher = {{ACM}}, author = {Matthias Althoff and Bruce H. Krogh}, title = {Avoiding geometric intersection operations in reachability analysis of hybrid systems}, booktitle = {Proceedings of the 15th {ACM} international conference on Hybrid Systems: Computation and Control} }