#PEEIC2023 - #keynote talk on #PolynomialFormalVerification at the 3rd International Conference on "Power Energy, Environment and Intelligent Control" glbitm.org/peeic2023/in...
#PolyVer #verification