Fragment (logic)

Temporal-Logic-Based Reactive Mission and Motion Planning

Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas

Citations: 755 • 2009

Translating Structured English to Robot Controllers

Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas

Citations: 150 • 2008

Integrated Strategy for Lead Optimization Based on Fragment Growing: The Diversity-Oriented-Target-Focused-Synthesis Approach

Laurent Hoffer, Yu. V. Voitovich, Brigitt Raux, Kendall Carrasco, Christophe Müller, Alexey Yu. Fedorov, Carine Derviaux, Agnès Amouric, S. Betzi, Dragos Horvath, Alexandre Varnek, Yves Collette, Sébastien Combes, Philippe Roche, Xavier Morelli

Citations: 72 • 2018

Fragment-Based Screening by Protein Crystallography: Successes and Pitfalls

Zorik Chilingaryan, Yin Zhou, Aaron J. Oakley

Citations: 62 • 2012

LTL robot motion control based on automata learning of environmental dynamics

Yushan Chen, Jana Tůmová, Călin Belta

Citations: 54 • 2012

Correct-by-synthesis reinforcement learning with temporal logic constraints

Min Wen, Rüdiger Ehlers, Ufuk Topcu

Citations: 54 • 2015

Efficient reactive controller synthesis for a fragment of linear temporal logic

Eric M. Wolff, Ufuk Topcu, Richard M. Murray

Citations: 52 • 2013

From structured english to robot motion

Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas

Citations: 46 • 2007

AssemblyTron: flexible automation of DNA assembly with Opentrons OT-2 lab robots

John A. Bryant, Mason Kellinger, Cameron Longmire, Ryan Miller, R Clay Wright

Citations: 41 • 2022

A symbolic justice violations transition system for unrealizable GR(1) specifications

Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert

Citations: 33 • 2017

Synthesizing a Lego Forklift Controller in GR(1): A Case Study

Shahar Maoz, Jan Oliver Ringert

Citations: 32 • 2016

Crystallographic Fragment Screening

John Badger

Citations: 26 • 2011

Fast fragment- and compound-screening pipeline at the Swiss Light Source

Citations: 25 • 2022

Temporal logic robot control based on automata learning of environmental dynamics

Yushan Chen, Jana Tůmová, Alphan Ulusoy, Călin Belta

Citations: 23 • 2013

Deductive verification of simple foraging robotic behaviours

Abdelkader Behdenna, Clare Dixon, Michael Fisher

Citations: 21 • 2009

Workflow and Tools for Crystallographic Fragment Screening at the Helmholtz-Zentrum Berlin

J. Wollenhaupt, T. Barthel, G.M.A. Lima, A. Metz, Dirk Wallacher, E. Jagudin, Franziska U. Huschmann, Thomas Hauß, C. Feiler, Martin Gerlach, Michael Hellmig, Ronald Förster, Michael Steffien, A. Heine, G. Klebe, U. Müeller, M.S. Weiss

Citations: 18 • 2021

Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems

Uluc̣ Saranlı, Frank Pfenning

Citations: 18 • 2007

3-D ultrasound guidance of autonomous robot for location of ferrous shrapnel

Albert J. Rogers, Edward D. Light, Stephen W. Smith

Citations: 18 • 2009

Synthesizing a Lego Forklift Controller in GR(1): A Case Study

Shahar Maoz, Jan Oliver Ringert

Citations: 17 • 2016

Fragment-based screening by protein-detected NMR spectroscopy

Paul J. Kerber, Raymundo Nuñez, Davin R. Jensen, Angela L. Zhou, Francis C. Peterson, R. Blake Hill, Brian F. Volkman, Brian C. Smith

Citations: 16 • 2023