Gas meter prover

SEDA

N. Asokan, Ferdinand Brasser, Ahmad Ibrahim, Ahmad‐Reza Sadeghi, Matthias Schunter, Gene Tsudik, Christian Wachsmann

Citations: 201 • 2015

TRP++ 2.0: A Temporal Resolution Prover

Ullrich Hustadt, Boris Konev

Citations: 62 • 2003

Disconnection proofs for motion planning

Julien Basch, Leonidas Guibas, David Hsu, Thai An Nguyen

Citations: 44 • 2002

Applying automated deduction to natural language understanding

Johan Bos

Citations: 21 • 2007

Playing Hybrid Games with KeYmaera

Jan-David Quesel, André Platzer

Citations: 13 • 2012

The Importance of Being Formal

Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter

Citations: 12 • 2009

Formal analysis of the continuous dynamics of cyber–physical systems using theorem proving

Adnan Rashid, Osman Hasan

Citations: 9 • 2020

Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover

Sıtar Kortik, Tejas Kumar Shastha

Citations: 8 • 2021

Robot planning system based on problem solvers

Tadashi Nagata, Masato Yamazaki, Michiharu Tsukamoto

Citations: 4 • 1973

Towards an Efficient Prover for the<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>C</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math>Paraconsistent Logic

Adolfo Gustavo Serra Seca Neto, Celso A. A. Kaestner, Marcelo Finger

Citations: 4 • 2009

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

Sıtar Kortik, Uluc̣ Saranlı

Citations: 4 • 2019

Toward Structured Proofs for Dynamic Logics.

Brandon Bohrer, André Platzer

Citations: 3 • 2019

A portable cubic-foot standard for gas

M.H. Stillman

Citations: 3 • 1919

Problem Solving with Interactive-Theorem Proving - A Case Study

Shivashish Jaishy, Nobuhiro Ito, Yoshinobu Kawabe

Citations: 2 • 2016