Search
Search Results
-
Logic Synthesis
This chapter delves into the subject of logic synthesis within the FPGA design process. It involves the conversion of high-level hardware description... -
Synthesis for Prefix First-Order Logic on Data Words
We study the reactive synthesis problem for distributed systems with an unbounded number of participants interacting with an uncontrollable... -
Controller synthesis for linear temporal logic and steady-state specifications
The problem of deriving decision-making policies, subject to some formal specification of behavior, has been well-studied in the control synthesis,...
-
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023,...
-
Cost-effective synthesis of QCA logic circuit using genetic algorithm
Quantum-dot cellular automata (QCA) is a field coupling nano-technology that has drawn significant attention for its low power consumption, low area...
-
Robust computation tree logic
It is widely accepted that every system should be robust in that “small” violations of environment assumptions should lead to “small” violations of...
-
Logic-Based Program Synthesis and Transformation 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings
This book constitutes the refereed proceedings of the 32ndInternational Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which... -
Logic program proportions
The purpose of this paper is to present a fresh idea on how symbolic learning might be realized via analogical reasoning. For this, we introduce...
-
HOLL: Program Synthesis for Higher Order Logic Locking
Logic locking “hides” the functionality of a digital circuit to protect it from counterfeiting, piracy, and malicious design modifications. The... -
Sequential composition of propositional logic programs
This paper introduces and studies the sequential composition and decomposition of propositional logic programs. We show that acyclic programs can be...
-
Logic-Based Program Synthesis and Transformation 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021,...
-
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings
This book constitutes the refereed proceedings of the 31st International Conference on Inductive Logic Programming, ILP 2022, held during September...
-
Design and verification of an FPGA programmable logic element based on Sense-Switch pFLASH
This paper proposes a kind of programmable logic element (PLE) based on Sense-Switch pFLASH technology. By programming Sense-Switch pFLASH, all...
-
Knor: reactive synthesis using Oink
We present an innovative approach to the reactive synthesis of parity automaton specifications, which plays a pivotal role in the synthesis of linear... -
Learning logic programs by explaining their failures
Scientists form hypotheses and experimentally test them. If a hypothesis fails (is refuted), scientists try to explain the failure to eliminate other...
-
On Dependent Variables in Reactive Synthesis
Given a Linear Temporal Logic (LTL) formula over input and output variables, reactive synthesis requires us to design a deterministic Mealy machine... -
Fully Generalized Reactivity(1) Synthesis
Generalized Reactivity(1) (GR(1)) synthesis is a reactive synthesis approach in which the specification is split into two parts: a symbolic game... -
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021
We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018–2021). We briefly describe the evaluation scheme and the...
-
Efficient Algorithms for LTL \(_f\) Synthesis
The use of temporal logic on finite traces, like Linear Temporal Logic (ltl) has shown to be very powerful for AI. The focus on finite traces was... -
Logic programming for deliberative robotic task planning
Over the last decade, the use of robots in production and daily life has increased. With increasingly complex tasks and interaction in different...