On the public citation graph
Using linear temporal logic to model and solve planning problems
0 signed · 28 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-52559-9_62openalex-snapshot
MetateM: A framework for programming in temporal logic
inferredcites →https://doi.org/10.1007/3-540-69778-0_18openalex-snapshot
Bounded Model Search in Linear Temporal Logic and Its Application to Planning
inferredcites →https://doi.org/10.1007/bfb0035385openalex-snapshot
A tableau system for linear-TIME temporal logic
inferredcites →https://doi.org/10.1016/0004-3702(91)90024-eopenalex-snapshot
O-Plan: The open planning architecture
inferredcites →https://doi.org/10.1016/0890-5401(92)90017-aopenalex-snapshot
Symbolic model checking: 1020 States and beyond
inferredcites →https://doi.org/10.1016/b978-0-12-450010-5.50026-8openalex-snapshot
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
inferredcites →https://doi.org/10.1023/a:1018985923441openalex-snapshot
Planning for temporally extended goals
inferredcites →https://doi.org/10.22028/d291-24967openalex-snapshot
Deduction-based refinement planning
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-45616-3_6openalex-snapshot
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge
inferred← citeshttps://doi.org/10.1007/3-540-48242-3_5openalex-snapshot
First Order Linear Temporal Logic over Finite Time Structures
inferred← citeshttps://doi.org/10.1007/978-3-540-39853-0_27openalex-snapshot
Planning under Uncertainty in Linear Time Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-04143-3_4openalex-snapshot
GOAL as a Planning Formalism
inferred← citeshttps://doi.org/10.1007/978-3-642-04222-5_12openalex-snapshot
Taming the Complexity of Temporal Epistemic Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-642-05082-4_18openalex-snapshot
A Logic Based Approach to the Static Analysis of Production Systems
inferred← citeshttps://doi.org/10.1007/978-94-011-4040-9_6openalex-snapshot
Labelled Tableaux for Propositional Linear Time Logic Over Finite Frames
inferred← citeshttps://doi.org/10.1007/s10009-013-0294-xopenalex-snapshot
Verification and validation meet planning and scheduling
inferred← citeshttps://doi.org/10.1007/s10849-006-9022-1openalex-snapshot
Linear temporal logic as an executable semantics for planning languages
inferred← citeshttps://doi.org/10.1080/088395102753365771openalex-snapshot
Propagating temporal relations of intervals by matrix
inferred← citeshttps://doi.org/10.1109/iccps.2011.22openalex-snapshot
Distributed Synthesis of Control Protocols for Smart Camera Networks
inferred← citeshttps://doi.org/10.15388/informatica.2012.368openalex-snapshot
Applications of Finite Linear Temporal Logic to Piecewise Linear Aggregates
inferred← citeshttps://doi.org/10.1561/2600000029openalex-snapshot
Formal Methods for Autonomous Systems
inferred← citeshttps://doi.org/10.1609/aaai.v31i1.11018openalex-snapshot
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic
inferred← citeshttps://doi.org/10.1609/socs.v6i1.18361openalex-snapshot
Finding and Exploiting LTL Trajectory Constraints in Heuristic Search
inferred← citeshttps://doi.org/10.2514/6.2011-1506openalex-snapshot
Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems
inferred← citeshttps://doi.org/10.5281/zenodo.168788openalex-snapshot
FIGURE 2 in Neda Mulsant (Coleoptera, Coccinellidae): Redescriptions and revised combinations of two species formerly placed in Cycloneda Crotch
inferred← citeshttps://doi.org/10.7907/rqkc-n871openalex-snapshot
Formal Methods for Control Synthesis in Partially Observed Environments: Application to Autonomous Robotic Manipulation
inferred← citeshttps://doi.org/10.7907/xz3x-7v51.openalex-snapshot
Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle
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.