@inproceedings{Goubault_2024,
    series = {HSCC ’24},
    title = {Inner and outer approximate quantifier elimination for general reachability problems},
    url = {http://dx.doi.org/10.1145/3641513.3650125},
    doi = {10.1145/3641513.3650125},
    booktitle = {Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control},
    publisher = {ACM},
    author = {Goubault, Eric and Putot, Sylvie},
    year = {2024},
    month = {may},
    collection = {HSCC ’24},
    date-added = {2024-5-8 9:3:50 +0100}
}

@inproceedings{Goubault_2024, series = {HSCC ’24}, title = {Inner and outer approximate quantifier elimination for general reachability problems}, url = {http://dx.doi.org/10.1145/3641513.3650125}, doi = {10.1145/3641513.3650125}, booktitle = {Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control}, publisher = {ACM}, author = {Goubault, Eric and Putot, Sylvie}, year = {2024}, month = {may}, collection = {HSCC ’24}, date-added = {2024-5-8 9:3:50 +0100} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge