Linear logic

Efficient reactive controller synthesis for a fragment of linear temporal logic

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

引用数: 52 • 2013

The logic of tasks

Giorgi Japaridze

引用数: 29 • 2002

Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems

Uluc̣ Saranlı, Frank Pfenning

引用数: 18 • 2007

Path planning with probabilistic roadmaps and co-safe linear temporal logic

Erion Plaku

引用数: 7 • 2012

The Propositional Logic of Elementary Tasks

Giorgi Japaridze

引用数: 6 • 2000

Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic

Sıtar Kortik, Uluc̣ Saranlı

引用数: 4 • 2019

Linear planning logic: An efficient language and theorem prover for robotic task planning

Sıtar Kortik, Uluc̣ Saranlı

引用数: 3 • 2014

Multirobot Coordination With Counting Temporal Logics

Yunus Emre Sahin, Petter Nilsson, Necmiye Özay

引用数: 3 • 2019

Maximum Realizability for Linear Temporal Logic Specifications

Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu

引用数: 2 • 2018