Keyword:Tree-shaped Tableau

Publications
STLSat — An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas Marco Zamponi, Florian Lammel, Ezio Bartocci and Michele Chiari In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning