Signal Temporal Logic Synthesis as Probabilistic Inference

Mapping Intimacies ◽

10.1109/icra48506.2021.9560929 ◽

2021 ◽

Author(s):

Ki Myung Brian Lee ◽

Chanyeol Yoo ◽

Robert Fitch

Keyword(s):

Temporal Logic ◽

Probabilistic Inference ◽

Logic Synthesis

Download Full-text

Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks

IEEE Robotics and Automation Letters ◽

10.1109/lra.2021.3064220 ◽

2021 ◽

pp. 1-1

Author(s):

David Gundana ◽

Hadas Kress-Gazit

Keyword(s):

Temporal Logic ◽

Logic Synthesis ◽

Robot Tasks ◽

Event Based ◽

Download Full-text

Robust Model Predictive Control for Signal Temporal Logic Synthesis

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2015.11.195 ◽

2015 ◽

Vol 48 (27) ◽

pp. 323-328 ◽

Author(s):

Samira S. Farahani ◽

Vasumathi Raman ◽

Richard M. Murray

Keyword(s):

Model Predictive Control ◽

Temporal Logic ◽

Predictive Control ◽

Logic Synthesis ◽

Robust Model Predictive Control ◽

Download Full-text

Backtracking temporal logic synthesis for uncertain environments

2012 IEEE International Conference on Robotics and Automation ◽

10.1109/icra.2012.6225208 ◽

2012 ◽

Author(s):

Scott C. Livingston ◽

Richard M. Murray ◽

Joel W. Burdick

Keyword(s):

Temporal Logic ◽

Logic Synthesis ◽

Uncertain Environments

Download Full-text

Resource Efficient Personalized ECG Beat Classification via Temporal Logic Synthesis

2019 IEEE 19th International Conference on Bioinformatics and Bioengineering (BIBE) ◽

10.1109/bibe.2019.00073 ◽

2019 ◽

Author(s):

Jun Zhou ◽

Weng-Fai Wong

Keyword(s):

Temporal Logic ◽

Logic Synthesis ◽

Beat Classification

Download Full-text

Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents

2012 IEEE/RSJ International Conference on Intelligent Robots and Systems ◽

10.1109/iros.2012.6385575 ◽

2012 ◽

Author(s):

Tichakorn Wongpiromsarn ◽

Alphan Ulusoy ◽

Calin Belta ◽

Emilio Frazzoli ◽

Daniela Rus

Keyword(s):

Temporal Logic ◽

Logic Synthesis ◽

Control Policies

Download Full-text

Task information and performance in probabilistic inference tasks.

PsycEXTRA Dataset ◽

10.1037/e407242004-001 ◽

1976 ◽

Author(s):

Berndt Brehmer ◽

Jan Kuylenstierna ◽

Jan-Erik Liljergren

Keyword(s):

Probabilistic Inference ◽

And Performance

Download Full-text

Response consistency in probabilistic inference tasks.

PsycEXTRA Dataset ◽

10.1037/e411142004-001 ◽

1976 ◽

Author(s):

Berndt Brehmer

Keyword(s):

Probabilistic Inference ◽

Response Consistency

Download Full-text

Quaternary reversible logic synthesis based on GF(4) Shannon expansion

Advanced Computer Control ◽

10.2495/icacc130171 ◽

2014 ◽

Author(s):

Lu Cangang ◽

Guan Zhijin ◽

He Jinfeng

Keyword(s):

Logic Synthesis ◽

Reversible Logic ◽

Reversible Logic Synthesis

Download Full-text

Anticipating Nostalgia:Finding Temporal Logic in Textual Anomaly

Textual Cultures ◽

10.2979/tex.2009.4.1.72 ◽

2009 ◽

Vol 4 (1) ◽

pp. 72-83 ◽

Author(s):

Linda Charnes

Keyword(s):

Download Full-text

Faculty Opinions recommendation of Improved probabilistic inference as a general learning mechanism with action video games.

Faculty Opinions – Post-Publication Peer Review of the Biomedical Literature ◽

10.3410/f.5219956.5159054 ◽

2010 ◽

Author(s):

Michele A Basso

Keyword(s):

Video Games ◽

Probabilistic Inference ◽

Learning Mechanism ◽

Action Video Games

Download Full-text