Formal verification of neural networks via Lukasiewicz infinitely-valued logic
Computing logical consequence in Lukasiewicz infinitely-valued logic
Efficient solutions for hybrid Markov decision processes specified through probabi...
Groups and noncommutative algebra: interactions and applications
Qualitative theory of ordinary differential equations: integrability, periodic orb...
Bifurcation of limit cycles in smooth piecewise systems and an application in Medi...