SAT-Based ATL Satisfiability Checking

02/08/2020
by   Magdalena Kacprzak, et al.
0

Synthesis of models and strategies is a very important problem in software engineering. The main element here is checking the satisfiability of formulae expressing the specification of a system to be implemented. This paper puts forward a novel method for deciding the satisfiability of formulae of Alternating-time Temporal Logic (ATL). The method presented expands on one for CTL exploit ing SAT Modulo Monotonic Theories solvers. Similarly to the CTL case, our approach appears to be very efficient. The experimental results show that we can quickly test the satisfiability of large ATL formulae that have been out of reach of the existing approaches.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/07/2018

SAT-based Explicit LTLf Satisfiability Checking

We present here a SAT-based framework for LTLf (Linear Temporal Logic on...
research
12/15/2017

A Decidable Fragment of Second Order Logic With Applications to Synthesis

We propose a fragment of many-sorted second order logic ESMT and show th...
research
07/15/2023

Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants

This paper addresses the computational problem of deciding invertibility...
research
06/14/2022

Integrating deduction and model finding in a language independent setting

Software artifacts are ubiquitous in our lives being an essential part o...
research
04/30/2019

Efficiently Checking Actual Causality with SAT Solving

Recent formal approaches towards causality have made the concept ready f...
research
08/06/2019

Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability

In this paper, we present a non-invasive reverse engineering attack base...
research
06/07/2022

Perturbative methods for mostly monotonic probabilistic satisfiability problems

The probabilistic satisfiability of a logical expression is a fundamenta...

Please sign up or login with your details

Forgot password? Click here to reset