2 papers
cs.SE2020
Towards a Framework for Certification of Reliable Autonomous Systems
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier +3
A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of suc…
cs.LO2018
SAT-based Explicit LTLf Satisfiability Checking
Jianwen Li, Kristin Y. Rozier, Geguang Pu +2
We present here a SAT-based framework for LTLf (Linear Temporal Logic on Finite Traces) satisfiability checking. We use propositional SAT-solving techniques to construct a transiti…