HUCTLp is a temporal logic (based on CTL) designed for analysis of dynamical systems. This repository provides a format for representing HUCTLp formulas as text and as JVM objects.
Primary LanguageKotlinGNU General Public License v3.0GPL-3.0