Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T05:59:01.142418Z
Paper Citation Record · LEDGER
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis
As of 19 August 2026, this Paper Citation Record lists 66 of 66 outbound references and 0 inbound Pith citation observations for arXiv:1909.00526.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
66 of 66 outbound references displayed
- verified exact1
- verified fuzzy57
- unresolved8
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation bafa609d-49e5-42fd-909e-c38414051fa7 · outbound
This paper cites an unresolved cited work.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T05:59:00.951703Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9d825592-6fde-4757-82af-b2ac09016565 · outbound
This paper cites Principles of robot motion: theory, algorithms, and imple- mentations,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Principles of robot motion: theory, algorithms, and imple- mentations,
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.636737Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c872fbf7-0573-4bc9-bd44-c924a20f2494 · outbound
This paper cites Mobile robot navigation in unknown environment based on exploration principles,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Mobile robot navigation in unknown environment based on exploration principles,
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.627718Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 8037d4ec-492d-4584-8492-2c0fd834dc50 · outbound
This paper cites Rrt-connect: An efficient approach to single-query path planning,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Rrt-connect: An efficient approach to single-query path planning,
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.619344Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 51851072-c31a-4a4d-b5b2-cb98dce48404 · outbound
This paper cites Prob- abilistic roadmaps for path planning in high-dimensional configuration spaces,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Prob- abilistic roadmaps for path planning in high-dimensional configuration spaces,
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T05:59:00.965956Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4b41e7b2-822c-400b-8a40-61cdd8370a2e · outbound
This paper cites Sampling-based algorithms for optimal motion planning,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Sampling-based algorithms for optimal motion planning,
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T05:59:00.970023Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 112ad799-47a6-465b-8303-9e4afcd86f7e · outbound
This paper cites Temporal logic motion planning for mobile robots,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Temporal logic motion planning for mobile robots,
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.603514Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 07a4a648-9c7e-4fa1-8d86-4583b4774f16 · outbound
This paper cites Distributed data gathering with buffer constraints and intermittent communication,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Distributed data gathering with buffer constraints and intermittent communication,
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.596210Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6066c200-fc8a-4656-a7d7-e7c916910d45 · outbound
This paper cites Distributed intermittent connectivity control of mobile robot networks,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Distributed intermittent connectivity control of mobile robot networks,
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.587955Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3bab96d6-fc69-49ef-be1e-48ab3cc32d6c · outbound
This paper cites Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints,
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.579138Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a3cbb9ac-58f6-4c65-a14e-a13c6ff68335 · outbound
This paper cites Baier and J.-P.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Baier and J.-P
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.571767Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation fa354b55-c4d0-484e-acda-9c53d46c6ccd · outbound
This paper cites Temporal-logic-based reactive mission and motion planning,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Temporal-logic-based reactive mission and motion planning,
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T05:59:00.988560Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5f8298fa-4c17-4f45-94c5-33175b31b6aa · outbound
This paper cites Where’s waldo? sensor-based temporal logic motion planning,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Where’s waldo? sensor-based temporal logic motion planning,
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.560685Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b0d56ddb-ad0c-4e19-a98a-f5704eda6ea8 · outbound
This paper cites Synthesis of distributed control and communication schemes from global ltl specifications,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Synthesis of distributed control and communication schemes from global ltl specifications,
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.553000Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e4ada8c8-162b-4b75-9d12-ab835bbeab6e · outbound
This paper cites Formal approach to the deployment of distributed robotic teams,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Formal approach to the deployment of distributed robotic teams,
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T05:59:00.996767Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5ee48cfa-d768-490a-82c2-2dc0a516c660 · outbound
This paper cites an unresolved cited work.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T05:59:01.541900Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f760f0a2-626c-42df-8d7d-c4808001c3df · outbound
This paper cites Optimal path planning for surveillance with temporal-logic constraints,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Optimal path planning for surveillance with temporal-logic constraints,
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.534106Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6adc23bb-3701-4084-8958-b072c58e4c2a · outbound
This paper cites Multi-agent plan reconfiguration under local ltl specifications,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Multi-agent plan reconfiguration under local ltl specifications,
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.527301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5e42cd84-c2dd-4db9-9381-01172efa50fe · outbound
This paper cites Automatic deployment of distributed teams of robots from temporal logic motion specifications,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Automatic deployment of distributed teams of robots from temporal logic motion specifications,
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.520202Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ec202244-babb-4f5a-b89a-4b7fc40533a3 · outbound
This paper cites Optimality and robustness in multi-robot path planning with temporal logic con- straints,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Optimality and robustness in multi-robot path planning with temporal logic con- straints,
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.512786Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c8fac55a-409c-41d8-87db-d85a5f352fb1 · outbound
This paper cites Optimal multi-robot path planning with ltl constraints: guaranteeing correctness through synchronization,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Optimal multi-robot path planning with ltl constraints: guaranteeing correctness through synchronization,
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.505703Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 8b2d812d-7dc1-4acd-8466-e21873ed20ff · outbound
This paper cites Composition of local potential functions for global robot control and navigation,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Composition of local potential functions for global robot control and navigation,
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.498657Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 609629e5-d8e3-4361-a614-216668d9200b · outbound
This paper cites Constructing decidable hybrid systems with velocity bounds,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Constructing decidable hybrid systems with velocity bounds,
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.491733Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 8299da50-598e-498e-a0bd-6ef84deb7cf5 · outbound
This paper cites Discrete abstractions for robot motion planning and control in polygonal environments,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Discrete abstractions for robot motion planning and control in polygonal environments,
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.484448Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation aaef78f3-d0ab-41ec-acc3-0a6b23242cf0 · outbound
This paper cites Reachability analysis of multi-affine sys- tems,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Reachability analysis of multi-affine sys- tems,
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.477583Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 008407e2-283a-43d8-b385-93b6cec26d82 · outbound
This paper cites Decentralized abstractions for multi-agent systems under coupled constraints,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Decentralized abstractions for multi-agent systems under coupled constraints,
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.470695Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b9eb5cb0-797e-43cc-8819-c55171254818 · outbound
This paper cites Intermittent connectivity control in mobile robot networks,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Intermittent connectivity control in mobile robot networks,
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.463668Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation fc1b5662-6a10-45b9-8759-be3e88ea84b2 · outbound
This paper cites Sampling-based control synthesis for multi-robot systems under global temporal specifications,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Sampling-based control synthesis for multi-robot systems under global temporal specifications,
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.455761Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 8d6d215d-c4a3-49f3-a7b4-7e5a305faba3 · outbound
This paper cites Sampling-based optimal control synthesis for multirobot systems under global temporal tasks,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Sampling-based optimal control synthesis for multirobot systems under global temporal tasks,
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.448728Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f653b657-6da1-4053-8dc0-05af36136066 · outbound
This paper cites Temporal logic optimal control for large-scale multi-robot sys- tems: 10 400 states and beyond,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Temporal logic optimal control for large-scale multi-robot sys- tems: 10 400 states and beyond,
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.441620Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation bc6f312d-d68b-4377-8221-bd893ade8814 · outbound
This paper cites Stylus*: A temporal logic optimal control synthesis algorithm for large-scale multi-robot systems,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Stylus*: A temporal logic optimal control synthesis algorithm for large-scale multi-robot systems,
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.434587Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c1afc92c-7a50-415e-a4aa-d1df363eef29 · outbound
This paper cites Transfer planning for temporal logic tasks,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Transfer planning for temporal logic tasks,
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.427575Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c2d8fed3-63c2-4cc6-a565-bbcc6cf15184 · outbound
This paper cites Distributed optimal control synthesis for multi-robot systems under global temporal tasks,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Distributed optimal control synthesis for multi-robot systems under global temporal tasks,
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.419007Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 85da20ed-49ce-4c9f-979c-979bd23285f3 · outbound
This paper cites Control of magnetic microrobot teams for temporal micromanipulation tasks,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Control of magnetic microrobot teams for temporal micromanipulation tasks,
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.412269Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation db5464a1-8edd-4737-a97c-259d57a288ce · outbound
This paper cites Provably-correct coordination of large collections of agents with counting temporal logic constraints,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Provably-correct coordination of large collections of agents with counting temporal logic constraints,
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.405347Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6859d4a4-66db-4fba-ae21-b61484609394 · outbound
This paper cites Linear temporal logic vehicle routing with applications to multi-uav mission planning,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Linear temporal logic vehicle routing with applications to multi-uav mission planning,
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.397966Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0cd6b63b-a9ed-44d2-afbd-88738572a126 · outbound
This paper cites Optimization-based trajec- tory generation with linear temporal logic specifications,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Optimization-based trajec- tory generation with linear temporal logic specifications,
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.390726Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a02d5642-d330-4ae1-8112-2b182fe08fc7 · outbound
This paper cites Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming,
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.383066Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation dcdda8de-06d3-4e48-b329-da7ce63fb447 · outbound
This paper cites Smc: Satisfiability modulo convex programming,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Smc: Satisfiability modulo convex programming,
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.375704Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 27fc3ec8-80ed-423d-b499-f52ec06050a2 · outbound
This paper cites Sampling-based motion planning with deterministicµ-calculus specifications,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Sampling-based motion planning with deterministicµ-calculus specifications,
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.367593Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 86fa8ecf-212b-4385-bc2e-a1c087365a63 · outbound
This paper cites Sampling-based algorithms for optimal motion planning with de- terministic µ-calculus specifications,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Sampling-based algorithms for optimal motion planning with de- terministic µ-calculus specifications,
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.359557Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f0f410a3-05f9-4589-87eb-834d9a5af425 · outbound
This paper cites Sampling-based temporal logic path plan- ning,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Sampling-based temporal logic path plan- ning,
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.351852Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d5139eca-5008-4f3d-89e9-60fea448d6ef · outbound
This paper cites Sampling-based motion planning with temporal goals,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Sampling-based motion planning with temporal goals,
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.344352Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation fb88c412-8e46-40bf-90ff-1e2b65a357d2 · outbound
This paper cites Towards manipulation planning with temporal logic specifications,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Towards manipulation planning with temporal logic specifications,
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.336851Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1d72171d-de0e-4031-977c-809502698eb8 · outbound
This paper cites An automata-theoretic approach to automatic program verification,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis An automata-theoretic approach to automatic program verification,
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.328774Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 25b30389-b1a7-4fb1-8f5f-7f1a81c498df · outbound
This paper cites A fully automated framework for control of linear systems from temporal logic specifications,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis A fully automated framework for control of linear systems from temporal logic specifications,
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T05:59:01.083889Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7f8a90e-0526-4508-bdc5-2980959f1c82 · outbound
This paper cites Revisiting the asymptotic optimality of rrt,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Revisiting the asymptotic optimality of rrt,
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.317096Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2e2d57f2-fef0-42fd-a810-2da34fe92158 · outbound
This paper cites Probabilistic planning with formal performance guarantees for mobile service robots,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Probabilistic planning with formal performance guarantees for mobile service robots,
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.309264Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation fa51e887-c86a-407e-8c4d-a04106d85752 · outbound
This paper cites Uniform-geometric distribution,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Uniform-geometric distribution,
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.302300Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 54e14f9f-dbf4-4137-8dec-eb530df44b3c · outbound
This paper cites Global planning for multi-robot communication networks in complex environments,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Global planning for multi-robot communication networks in complex environments,
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.294824Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 513621e3-991b-4453-9abf-f3e1cd23579c · outbound
This paper cites A formal methods approach to interpretable reinforcement learning for robotic planning,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis A formal methods approach to interpretable reinforcement learning for robotic planning,
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.287757Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 98673ae4-3468-4ad5-a2ae-5cb609c58bd9 · outbound
This paper cites Distributed state estimation using intermittently connected robot networks,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Distributed state estimation using intermittently connected robot networks,
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.280212Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f6b07fe3-1c25-4373-953c-17775f19a885 · outbound
This paper cites Collision avoidance for per- sistent monitoring in multi-robot systems with intersecting trajectories,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Collision avoidance for per- sistent monitoring in multi-robot systems with intersecting trajectories,
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.273149Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 38875049-e787-4fe1-b32e-cdc75696e755 · outbound
This paper cites Collision and deadlock avoidance in multirobot systems: A distributed approach,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Collision and deadlock avoidance in multirobot systems: A distributed approach,
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.264918Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 72705bc7-6943-4c84-8996-40ee4fc9967d · outbound
This paper cites Van Kreveld, O.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Van Kreveld, O
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.257726Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7ebbd0ce-0df5-4c41-b287-61e9cefa76a1 · outbound
This paper cites Fast LTL to b ¨uchi automata translation,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Fast LTL to b ¨uchi automata translation,
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.250716Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2fefcb6f-9816-4512-bbad-c92ee50481fc · outbound
This paper cites Monte carlo motion plan- ning for robot trajectory optimization under uncertainty,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Monte carlo motion plan- ning for robot trajectory optimization under uncertainty,
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.243279Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 81285e1f-9084-436b-8055-8db65b7cfe7f · outbound
This paper cites Z3: An efficient smt solver,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Z3: An efficient smt solver,
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.235928Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b30489e5-fc32-47ed-a80a-e97326d779f1 · outbound
This paper cites Linear Encodings of Bounded LTL Model Checking.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Linear Encodings of Bounded LTL Model Checking
Reference 59
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T05:59:01.168506Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7d40fabe-be10-4886-bfe3-987e0d338daf · outbound
This paper cites Rudin, Real and complex analysis.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Rudin, Real and complex analysis
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.227955Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f74fbc64-fd1f-48c1-a285-ca83a991d80e · outbound
This paper cites V oronoi diagrams—a survey of a fundamental geo- metric data structure,.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis V oronoi diagrams—a survey of a fundamental geo- metric data structure,
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.218641Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 163a69ee-6bb6-4d1b-9aa1-4de02103822b · outbound
This paper cites Specifically, letτ∗ be the optimal continuous path that optimizes (2).
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Specifically, letτ∗ be the optimal continuous path that optimizes (2)
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.209861Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6f690d8f-ed3b-4053-94d8-0c00b108d5f0 · outbound
This paper cites an unresolved cited work.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Unresolved cited work
Reference 63
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T05:59:01.200736Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7f5e50b8-cf91-4994-bd23-bc111a901142 · outbound
This paper cites To do so, we need to show that eventually every ball in Bn contains at least one node of Gn.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis To do so, we need to show that eventually every ball in Bn contains at least one node of Gn
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.192752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d2363abe-26a2-4843-8d5b-5a42bb6c7aac · outbound
This paper cites Furthermore, since x′ 2 is sampled before x′ 3, (R2) holds.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Furthermore, since x′ 2 is sampled before x′ 3, (R2) holds
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.184612Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b554a675-9894-484a-9aaf-a576a7ff4c85 · outbound
This paper cites Substituting in (26) we have that P(E1 n) converges to 1 as n→∞.
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Substituting in (26) we have that P(E1 n) converges to 1 as n→∞
Reference 66
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T05:59:01.176632Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Pith citing papers
No inbound Pith citation observations are available.