Neural Certificates
Henzinger TA. 2025. Neural Certificates. Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. SYNASC: Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
| English
Scopus indexed
Author
Corresponding author has ISTA affiliation
Department
Abstract
Symbolic datatypes have proved to be central for automated reasoning about dynamical systems. In its basic form, a symbolic datatype for a class of dynamical systems supports the representation of state and transition sets, boolean operations and emptiness checks on such sets, and the transformation of a state set by a transition set. Successful examples of symbolic datatypes include BDDs and SAT for reasoning about finitestate systems, as well as polyhedra and SMT for reasoning about discrete dynamical systems over multidimensional realvalued state spaces. Most automated verification engines are based on such symbolic datatypes.
Publishing Year
Date Published
2025-10-01
Proceedings Title
Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Publisher
IEEE
Conference
SYNASC: Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Conference Location
Timisoara, Romania
Conference Date
2025-09-22 – 2025-09-25
eISSN
IST-REx-ID
Cite this
Henzinger TA. Neural Certificates. In: Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE; 2025. doi:10.1109/SYNASC69064.2025.00008
Henzinger, T. A. (2025). Neural Certificates. In Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Timisoara, Romania: IEEE. https://doi.org/10.1109/SYNASC69064.2025.00008
Henzinger, Thomas A. “Neural Certificates.” In Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, 2025. https://doi.org/10.1109/SYNASC69064.2025.00008.
T. A. Henzinger, “Neural Certificates,” in Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 2025.
Henzinger TA. 2025. Neural Certificates. Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. SYNASC: Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Henzinger, Thomas A. “Neural Certificates.” Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, 2025, doi:10.1109/SYNASC69064.2025.00008.
Google Scholar