Symbolic execution

VeriPhy: verified controller executables from verified cyber-physical system models

Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer

Citations: 59 • 2018

OpenSYMORO: An open-source software package for symbolic modelling of robots

Wisama Khalil, Aravindkumar Vijayalingam, Bogdan Khomutenko, Izzatbek Mukhanov, Philippe Lemoine, Gaël Écorchard

Citations: 45 • 2014

Static analysis for probabilistic programs

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

Citations: 31 • 2013

Efficient robot inverse and direct dynamics algorithms using microcomputer based symbolic generation

Roger Toogood

Citations: 24 • 2003

Tell Me More Than Just Assembly! Reversing Cyber-Physical Execution Semantics of Embedded IoT Controller Software Binaries

Pengfei Sun, Luis Antonio Ribot García, Saman Zonouz

Citations: 19 • 2019

Bridging the gap between discrete symbolic planning and optimization-based robot control

Enea Scioni, Gianni Borghesan, Herman Bruyninckx, Marcello Bonfè

Citations: 10 • 2015

Combining a Monte Carlo Tree Search and a Feasibility Database to Plan and Execute Rearranging Tasks

Pedro Miguel Uriguen Eljuri, Gustavo Alfonso Garcia Ricardez, Nishanth Koganti, Jun Takamatsu, Tsukasa Ogasawara

Citations: 9 • 2021

Symbolic State Estimation with Predicates for Contact-Rich Manipulation Tasks

Toki Migimatsu, Wenzhao Lian, Jeannette Bohg, Stefan Schaal

Citations: 8 • 2022

Integration of Sub-Symbolic and Symbolic Information Processing in Robot Control

Manfred Knick, Franz Josef Radermacher

Citations: 8 • 2005

Applications of symbolic manipulation in control system analysis and design

H.K. Eldeib, Sung-Han Tsai

Citations: 8 • 2003

Proceedings of the First NASA Formal Methods Symposium

Ewen Denney, Dimitra Giannakopoulou, Corina S. Păsăreanu

Citations: 6 • 2009

SYM — Program Package for Computer-aided Generation of Optimal Symbolic Models of Robot Manipulators

Vukobratović Miomir, Kirćanski Nenad, Aleksandar Timčenko, Manja Kirćanski

Citations: 5 • 1990

Poster: Combining Fuzzing with Concolic Execution for IoT Firmware Testing

Jihyeon Yu, Juhwan Kim, Yeohoon Yun, Joobeom Yun

Citations: 4 • 2023

Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing

Yixiao Yang

Citations: 4 • 2023

Toward Structured Proofs for Dynamic Logics.

Brandon Bohrer, André Platzer

Citations: 3 • 2019

Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation

Yilun Hao, Yang Zhang, Chuchu Fan

Citations: 2 • 2025

Automatic extension of a symbolic mobile manipulation skill set

Julian Förster, Lionel Ott, Juan Nieto, Nicholas Lawrance, Roland Siegwart, Jen Jen Chung

Citations: 2 • 2023