Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Control Systems Letters"
DOI: 10.1109/lcsys.2021.3119258
Abstract: This letter introduces a novel approach that combines the use of exponential barrier functions and satisfiability modulo theories solving to the formal safety analysis of flight controllers. Specifically, exponential barrier functions are used to construct… read more here.
Keywords: barrier functions; theories solving; modulo theories; satisfiability modulo ... See more keywords
Reusing Solutions Modulo Theories
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2019.2898199
Abstract: In this paper we propose an approach for reusing formula solutions to reduce the impact of Satisfiability Modulo Theories (SMT) solvers on the scalability of symbolic program analysis. SMT solvers can efficiently handle huge expressions… read more here.
Keywords: solutions modulo; reusing solutions; approach; smt solvers ... See more keywords
Automata modulo theories
Sign Up to like & getrecommendations! Published in 2021 at "Communications of the ACM"
DOI: 10.1145/3419404
Abstract: Symbolic automata better balances how automata are implemented in practice. read more here.
Keywords: automata modulo; modulo theories;