This repository contains code snippets for wordpress which connect a users website with SERPAPI to get results from Google Scholar.

Tools and scripts for reproducing results for FMCAD 2024 paper on Neural Lyapunov Barrier Certificates

Code from the paper "Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning", published at the 61st ACM/IEEE Design Automation Conference.

StabiliTy and Safety ContRoller Synthesis for Black-Box Systems Using a Single Trajectory

Introductory workshop on PINNs using the harmonic oscillator

PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle d…

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. IMPaCT is an open-source software tool for the parallelized verification and controller synthe…