On the public citation graph

Controlling Wild Bodies Using Linear Temporal Logic

https://doi.org/10.15607/rss.2011.vii.003

0 signed · 72 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/1-4020-3389-3_26openalex-snapshot

Ergodic Dynamics by Design: A Route to Predictable Multi-Robot Systems

inferredcites →https://doi.org/10.1007/3-540-45657-0_29openalex-snapshot

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

inferredcites →https://doi.org/10.1007/978-1-4471-2343-9_23openalex-snapshot

Manipulating Ergodic Bodies through Gentle Guidance

inferredcites →https://doi.org/10.1007/978-1-4615-4545-3_8openalex-snapshot

Building a Universal Planar Manipulator

inferredcites →https://doi.org/10.1007/bf01891840openalex-snapshot

Orienting polygonal parts without sensors

inferredcites →https://doi.org/10.1007/bf02993491openalex-snapshot

Network models for building evacuation

inferredcites →https://doi.org/10.1007/s004539910019openalex-snapshot

Algorithms for Sensorless Manipulation Using a Vibrating Surface

inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50021-4openalex-snapshot

Temporal and Modal Logic

inferredcites →https://doi.org/10.1090/stml/030openalex-snapshot

Geometry and Billiards

inferredcites →https://doi.org/10.1109/5.871304openalex-snapshot

Discrete abstractions of hybrid systems

inferredcites →https://doi.org/10.1109/56.800openalex-snapshot

An exploration of sensorless manipulation

inferredcites →https://doi.org/10.1109/9.654885openalex-snapshot

A unified framework for hybrid control: model and optimal control theory

inferredcites →https://doi.org/10.1109/cdc.2004.1428622openalex-snapshot

Automatic synthesis of multi-agent motion tasks based on LTL specifications

inferredcites →https://doi.org/10.1109/icra.2011.5979895openalex-snapshot

Revising temporal logic specifications for motion planning

inferredcites →https://doi.org/10.1109/iros.2009.5354467openalex-snapshot

Synthesis of output feedback control for motion planning based on LTL specifications

inferredcites →https://doi.org/10.1109/iros.2010.5650371openalex-snapshot

LTLMoP: Experimenting with language, Temporal Logic and robot control

inferredcites →https://doi.org/10.1109/iros.2010.5650896openalex-snapshot

Optimal path planning under temporal logic constraints

inferredcites →https://doi.org/10.1109/mra.2007.339624openalex-snapshot

Symbolic planning and control of robot motion [Grand Challenges of Robotics]

inferredcites →https://doi.org/10.1109/robot.1986.1087522openalex-snapshot

An exploration of sensorless manipulation

inferredcites →https://doi.org/10.1109/robot.2001.932546openalex-snapshot

Hybrid control of formations of robots

inferredcites →https://doi.org/10.1109/robot.2004.1302415openalex-snapshot

Virtual fences for controlling cows

inferredcites →https://doi.org/10.1109/robot.2005.1570410openalex-snapshot

Temporal Logic Motion Planning for Mobile Robots

inferredcites →https://doi.org/10.1109/robot.2007.363946openalex-snapshot

Where's Waldo? Sensor-Based Temporal Logic Motion Planning

inferredcites →https://doi.org/10.1109/robot.2010.5509503openalex-snapshot

Sampling-based motion planning with temporal goals

inferredcites →https://doi.org/10.1109/robot.2010.5509686openalex-snapshot

Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees

inferredcites →https://doi.org/10.1109/tac.2006.886494openalex-snapshot

Linear Time Logic Control of Discrete-Time Linear Systems

inferredcites →https://doi.org/10.1109/tro.2006.889492openalex-snapshot

Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions

inferredcites →https://doi.org/10.1109/tro.2009.2030225openalex-snapshot

Temporal-Logic-Based Reactive Mission and Motion Planning

inferredcites →https://doi.org/10.1109/tro.2009.2035776openalex-snapshot

Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications

inferredcites →https://doi.org/10.1163/156855308x344864openalex-snapshot

Translating Structured English to Robot Controllers

inferredcites →https://doi.org/10.1177/027836499201100501openalex-snapshot

Randomization in Robot Tasks

inferredcites →https://doi.org/10.7551/mitpress/4527.001.0001openalex-snapshot

Mechanics of Robotic Manipulation

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-031-08421-8_9openalex-snapshot

Reasoning About Smart Contracts Encoded in LTL

inferred← citeshttps://doi.org/10.1007/978-3-031-21090-7_16openalex-snapshot

The Limits of Learning and Planning: Minimal Sufficient Information Transition Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-36279-8_26openalex-snapshot

Counting Moving Bodies Using Sparse Sensor Beams

inferred← citeshttps://doi.org/10.1007/s10514-014-9418-8openalex-snapshot

Provably correct reactive control from natural language

inferred← citeshttps://doi.org/10.1007/s10514-018-9805-7openalex-snapshot

Validating multi-rigid body simulation of a wild robot

inferred← citeshttps://doi.org/10.1007/s10514-021-09975-8openalex-snapshot

Herding by caging: a formation-based motion planning framework for guiding mobile agents

inferred← citeshttps://doi.org/10.1007/s13278-025-01472-5openalex-snapshot

Logic-based analysis of fake news diffusion on social media

inferred← citeshttps://doi.org/10.1109/acc.2012.6315569openalex-snapshot

Controlling wild mobile robots using virtual gates and discrete transitions

inferred← citeshttps://doi.org/10.1109/icra.2012.6224792openalex-snapshot

Robust multi-robot optimal path planning with temporal logic constraints

inferred← citeshttps://doi.org/10.1109/icra.2013.6631027openalex-snapshot

Toward the design and analysis of blind, bouncing robots

inferred← citeshttps://doi.org/10.1109/icra.2013.6631151openalex-snapshot

Minimal specification revision for weighted transition systems

inferred← citeshttps://doi.org/10.1109/icra.2014.6906909openalex-snapshot

Stochastic modeling, control, and verification of wild bodies

inferred← citeshttps://doi.org/10.1109/icra.2014.6907489openalex-snapshot

Open-world mission specification for reactive robots

inferred← citeshttps://doi.org/10.1109/icra.2014.6907644openalex-snapshot

Revision of specification automata under quantitative preferences

inferred← citeshttps://doi.org/10.1109/icra55743.2025.11128030openalex-snapshot

Limits of Specifiability for Sensor-Based Robotic Planning Tasks

inferred← citeshttps://doi.org/10.1109/iros.2012.6386028openalex-snapshot

Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory

inferred← citeshttps://doi.org/10.1109/iros.2012.6386215openalex-snapshot

Approximate solutions for the minimal revision problem of specification automata

inferred← citeshttps://doi.org/10.1109/iros.2013.6696436openalex-snapshot

Towards minimal explanations of unsynthesizability for high-level robot behaviors

inferred← citeshttps://doi.org/10.1109/iros.2013.6696826openalex-snapshot

Eliciting collective behaviors through automatically generated environments

inferred← citeshttps://doi.org/10.1109/lra.2017.2737047openalex-snapshot

Space-Efficient Filters for Mobile Robot Localization from Discrete Limit Cycles

inferred← citeshttps://doi.org/10.1109/robio.2013.6739543openalex-snapshot

A graphical language for LTL motion and mission planning

inferred← citeshttps://doi.org/10.1109/simpar.2016.7862412openalex-snapshot

State estimation of a wild robot toward validation of rigid body simulation

inferred← citeshttps://doi.org/10.1109/tase.2013.2260149openalex-snapshot

Counting Moving Bodies Using Sparse Sensor Beams

inferred← citeshttps://doi.org/10.1109/tro.2012.2214558openalex-snapshot

Explaining Impossible High-Level Robot Behaviors

inferred← citeshttps://doi.org/10.1145/2594767openalex-snapshot

Combinatorial Filters

inferred← citeshttps://doi.org/10.1177/0278364915587034openalex-snapshot

On the minimal revision problem of specification automata

inferred← citeshttps://doi.org/10.1177/02783649231198898openalex-snapshot

A mathematical characterization of minimally sufficient robot brains

inferred← citeshttps://doi.org/10.13053/cys-21-3-2444openalex-snapshot

Branching Path Planning with Modal Logics

inferred← citeshttps://doi.org/10.15607/rss.2012.viii.058openalex-snapshot

Probabilistic Temporal Logic for Motion Planning with Resource Threshold Constraints

inferred← citeshttps://doi.org/10.15607/rss.2013.ix.023openalex-snapshot

Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language

inferred← citeshttps://doi.org/10.1613/jair.1.11256openalex-snapshot

LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner

inferred← citeshttps://doi.org/10.23919/acc.2017.7963222openalex-snapshot

Temporal logic control under incomplete or conflicting information

inferred← citeshttps://doi.org/10.24963/ijcai.2017/426openalex-snapshot

Learning from Demonstrations with High-Level Side Information

inferred← citeshttps://doi.org/10.2514/6.2015-1541openalex-snapshot

Verified Planar Formation Control Algorithms by Composition of Primitives

inferred← citeshttps://doi.org/10.25148/etd.fidc006561openalex-snapshot

A Dynamical System Approach for Resource-Constrained Mobile Robotics

inferred← citeshttps://doi.org/10.47164/ijngc.v10i2.160openalex-snapshot

Modeling and Analyzing Occupant Behaviors in Building Energy Analysis Using a State Space Approach and Non-Invasive Sensing

inferred← citeshttps://doi.org/10.48550/arxiv.1202.1307openalex-snapshot

Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints

inferred← citeshttps://doi.org/10.48550/arxiv.1409.1455openalex-snapshot

Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors

inferred← citeshttps://doi.org/10.5555/3091125.3091317openalex-snapshot

Probabilistic Supervisory Control Theory (pSCT) Applied to Swarm Robotics

inferred← citeshttps://doi.org/10.5898/jhri.2.2.kollingopenalex-snapshot

Human Swarm Interaction: An Experimental Study of Two Types of Interaction with Foraging Swarms

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.