Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-7

Incremental controller synthesis in probabilistic environments with temporal logic constraints

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta

The International Journal of Robotics Research

Open access

Research article

First published 2024-5

Online control synthesis for uncertain systems under signal temporal logic specifications

Pian Yu, Yulong Gao, Frank J. Jiang [...]

The International Journal of Robotics Research

Open access

Research article

First published 2025-8

Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus

Filipe Marinho Rocha, Inês Dutra, Vítor Santos Costa [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2006-4

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 2020-6

STyLuS * : A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems

Yiannis Kantaros, Michael M Zavlanos

The International Journal of Robotics Research

Retricted access

Research article

First published 2024-09-20

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets

Jaime Arias, Kyungmin Bae, Carlos Olarte [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1993

Logic and Artificial Intelligence: A New Synthesis? 1

Donald Perlis

Fundamenta Informaticae

Retricted access

Research article

First published 2010-4

Set-theoretical Constructions of Boolean Functions and theirs Applications in Logic Synthesis

Bohdan Rytsar, Piotr Romanowski, Adrian Shvay

Fundamenta Informaticae

Retricted access

Research article

First published 2016-7

Design of Prisoner’s dilemma based fuzzy logic computed torque controller with Lyapunov synthesis linguistic model for PUMA-560 robot manipulator

Ch Ravi Kumar, K.R. Sudha, D.V. Pushpalatha

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2017-8-9

Synthesis of Transition Systems from Quantum Logics

Luca Bernardinello, Carlo Ferigato, Lucia Pomello [...]

Fundamenta Informaticae

Search results