Formal language

Formal theories of knowledge in AI and robotics

Stanley J. Rosenschein

Citations: 170 • 1985

A formal methods approach to interpretable reinforcement learning for robotic planning

Xiao Li, Zachary Serlin, Guang Yang, Călin Belta

Citations: 106 • 2019

Formalizing Properties of Agents

Richard Goodwin

Citations: 79 • 1995

Eco-Grammar Systems: A Grammatical Framework for Studying Lifelike Interactions

Erzsébet Csuhaj-Varjú, Jozef Kelemen, Alica Kelemenová, Gheorghe Pǎun

Citations: 65 • 1997

A linguistic approach to geometric reasoning

Boris Stilman

Citations: 49 • 1993

Linguistic Geometry: From Search to Construction

Boris Stilman

Citations: 48 • 2000

Network Languages for Complex Systems

Boris Stilman

Citations: 48 • 1993

Eco-Grammar Systems: A Grammatical Framework for Studying Lifelike Interactions

Erzsébet Csuhaj-Varjú, Jozef Kelemen, Alica Kelemenová, Gheorghe Pǎun

Citations: 44 • 1997

Translations of network languages

Boris Stilman

Citations: 37 • 1994

Models of language evolution and change

Andrew Smith

Citations: 35 • 2014

Applications of Action Languages in Cognitive Robotics

Esra Erdem, Volkan Patoğlu

Citations: 24 • 2012

A formal approach to AADL model-based software engineering

Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaïel

Citations: 24 • 2019

Toward Formal Models and Languages for Verifiable Multi-Robot Systems

Citations: 14 • 2018

Correct-by-construction control synthesis for multi-robot mixing

Yancy Diaz-Mercado, Austin Jones, Călin Belta, Magnus Egerstedt

Citations: 12 • 2015

Formal Verification for Task Description Languages. A Petri Net Approach

Joaquín López, A. Santana‐Alonso, Miguel Díaz-Cacho

Citations: 12 • 2019

Modelling and Analysis of a Redundant Mobile Robot Architecture Using AADL

Geoffrey Biggs, Kiyoshi Fujiwara, Keiju Anada

Citations: 11 • 2014

Symbolic power, robotting, and surveilling

Ole Skovsmose

Citations: 9 • 2012

<title>Formal specification for behavior-based mobile robots</title>

Douglas C. MacKenzie, Ronald C. Arkin

Citations: 9 • 1994

Heuristic networks for space exploration

Boris Stilman

Citations: 8 • 1994

(Sub)regular robotic languages

Chetan Rawal, Herbert G. Tanner, Jeffrey Heinz

Citations: 7 • 2011