Formal language
相关论文数: 20
顶级研究者
最高引用论文
Formal theories of knowledge in AI and robotics
Stanley J. Rosenschein
引用数: 170 • 1985
A formal methods approach to interpretable reinforcement learning for robotic planning
Xiao Li, Zachary Serlin, Guang Yang, Călin Belta
引用数: 106 • 2019
Formalizing Properties of Agents
Richard Goodwin
引用数: 79 • 1995
Eco-Grammar Systems: A Grammatical Framework for Studying Lifelike Interactions
Erzsébet Csuhaj-Varjú, Jozef Kelemen, Alica Kelemenová, Gheorghe Pǎun
引用数: 65 • 1997
A linguistic approach to geometric reasoning
Boris Stilman
引用数: 49 • 1993
Linguistic Geometry: From Search to Construction
Boris Stilman
引用数: 48 • 2000
Network Languages for Complex Systems
Boris Stilman
引用数: 48 • 1993
Eco-Grammar Systems: A Grammatical Framework for Studying Lifelike Interactions
Erzsébet Csuhaj-Varjú, Jozef Kelemen, Alica Kelemenová, Gheorghe Pǎun
引用数: 44 • 1997
Translations of network languages
Boris Stilman
引用数: 37 • 1994
Models of language evolution and change
Andrew Smith
引用数: 35 • 2014
Applications of Action Languages in Cognitive Robotics
Esra Erdem, Volkan Patoğlu
引用数: 24 • 2012
A formal approach to AADL model-based software engineering
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaïel
引用数: 24 • 2019
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
引用数: 14 • 2018
Correct-by-construction control synthesis for multi-robot mixing
Yancy Diaz-Mercado, Austin Jones, Călin Belta, Magnus Egerstedt
引用数: 12 • 2015
Formal Verification for Task Description Languages. A Petri Net Approach
Joaquín López, A. Santana‐Alonso, Miguel Díaz-Cacho
引用数: 12 • 2019
Modelling and Analysis of a Redundant Mobile Robot Architecture Using AADL
Geoffrey Biggs, Kiyoshi Fujiwara, Keiju Anada
引用数: 11 • 2014
Symbolic power, robotting, and surveilling
Ole Skovsmose
引用数: 9 • 2012
<title>Formal specification for behavior-based mobile robots</title>
Douglas C. MacKenzie, Ronald C. Arkin
引用数: 9 • 1994
Heuristic networks for space exploration
Boris Stilman
引用数: 8 • 1994
(Sub)regular robotic languages
Chetan Rawal, Herbert G. Tanner, Jeffrey Heinz
引用数: 7 • 2011