Fragment (logic)
相关论文数: 20
顶级研究者
最高引用论文
Temporal-Logic-Based Reactive Mission and Motion Planning
Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas
引用数: 755 • 2009
Translating Structured English to Robot Controllers
Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas
引用数: 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
引用数: 72 • 2018
Fragment-Based Screening by Protein Crystallography: Successes and Pitfalls
Zorik Chilingaryan, Yin Zhou, Aaron J. Oakley
引用数: 62 • 2012
LTL robot motion control based on automata learning of environmental dynamics
Yushan Chen, Jana Tůmová, Călin Belta
引用数: 54 • 2012
Correct-by-synthesis reinforcement learning with temporal logic constraints
Min Wen, Rüdiger Ehlers, Ufuk Topcu
引用数: 54 • 2015
Efficient reactive controller synthesis for a fragment of linear temporal logic
Eric M. Wolff, Ufuk Topcu, Richard M. Murray
引用数: 52 • 2013
From structured english to robot motion
Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas
引用数: 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
引用数: 41 • 2022
A symbolic justice violations transition system for unrealizable GR(1) specifications
Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert
引用数: 33 • 2017
Synthesizing a Lego Forklift Controller in GR(1): A Case Study
Shahar Maoz, Jan Oliver Ringert
引用数: 32 • 2016
Crystallographic Fragment Screening
John Badger
引用数: 26 • 2011
Fast fragment- and compound-screening pipeline at the Swiss Light Source
引用数: 25 • 2022
Temporal logic robot control based on automata learning of environmental dynamics
Yushan Chen, Jana Tůmová, Alphan Ulusoy, Călin Belta
引用数: 23 • 2013
Deductive verification of simple foraging robotic behaviours
Abdelkader Behdenna, Clare Dixon, Michael Fisher
引用数: 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
引用数: 18 • 2021
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
Uluc̣ Saranlı, Frank Pfenning
引用数: 18 • 2007
3-D ultrasound guidance of autonomous robot for location of ferrous shrapnel
Albert J. Rogers, Edward D. Light, Stephen W. Smith
引用数: 18 • 2009
Synthesizing a Lego Forklift Controller in GR(1): A Case Study
Shahar Maoz, Jan Oliver Ringert
引用数: 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
引用数: 16 • 2023