What is Formal Verification without Specifications? A Survey on mining LTL Specifications | Paper Citation Record

Observation 066c69fd-cec3-4860-874a-c591e466c738 · outbound

This paper cites , " * write output.state after.block = add.period write.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications , " * write output.state after.block = add.period write

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.184868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a30afd0a-e2b2-42fc-82e0-39bf4fb3129f · outbound

This paper cites write newline.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications write newline

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.191527Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80ed9002-c1d1-4aa7-89b1-058f1dd9cb82 · outbound

This paper cites an unresolved cited work.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.199467Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba4a2e18-4114-4505-8e31-059e0714d250 · outbound

This paper cites an unresolved cited work.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.210155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9abca9b0-6fa9-440c-889b-b1def421186b · outbound

This paper cites Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, and Cesare Tinelli.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, and Cesare Tinelli

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.215596Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 564a3a14-e539-4aca-83af-8f091af9ab2d · outbound

This paper cites Parametric identification of temporal properties.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Parametric identification of temporal properties

Reference 6

Resolution: verified exact; doi, observed 2026-08-10T13:39:36.600332Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 14a95789-7e80-4326-8d1d-95bfa2da23bf · outbound

This paper cites A story about formal methods adoption by a railway signaling manufacturer.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications A story about formal methods adoption by a railway signaling manufacturer

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:39.098319Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c6bd5d0a-0f9e-4887-8964-992fb8a72ac1 · outbound

This paper cites Using B as a high level programming language in an industrial project: Roissy VAL.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Using B as a high level programming language in an industrial project: Roissy VAL

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:39.079494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c4c4388f-b1dc-4a1c-85d5-d8f7d4c155c7 · outbound

This paper cites Principles of model checking.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Principles of model checking

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.252981Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e42aa62-a399-4a03-8f0a-8ed226567fa8 · outbound

This paper cites Barrett, Christopher L.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Barrett, Christopher L

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.264352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 156b71fa-fc83-4cb9-b301-a9b1c8661990 · outbound

This paper cites Survey on mining signal temporal logic specifications.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Survey on mining signal temporal logic specifications

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.270586Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdf9a2af-6675-436f-906b-3f7d06e5371c · outbound

This paper cites Picosat essentials.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Picosat essentials

Reference 12

Resolution: verified exact; doi, observed 2026-08-10T13:39:36.568687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation aa14783a-7b5f-4f0a-a7dc-57fc3dd40d6a · outbound

This paper cites 40 years of formal methods - some obstacles and some possibilities? In FM , volume 8442 of Lecture Notes in Computer Science , pages 42--61.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications 40 years of formal methods - some obstacles and some possibilities? In FM , volume 8442 of Lecture Notes in Computer Science , pages 42--61

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:39.048723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 879f62be-a5c5-4be4-8d17-073dc6b71198 · outbound

This paper cites Bj rner and Anh - Dung Phan.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Bj rner and Anh - Dung Phan

Reference 14

Resolution: malformed identifier; doi_truncated, observed 2026-08-10T13:39:36.547452Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f5f69eb1-e189-408a-8119-3487e87fa629 · outbound

This paper cites A decision tree approach to data classification using signal temporal logic.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications A decision tree approach to data classification using signal temporal logic

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.338112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea18cd64-f602-4ebb-b48a-9e032ceb3bf5 · outbound

This paper cites The Complexity of Learning Temporal Properties.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications The Complexity of Learning Temporal Properties

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-08-10T13:39:36.530418Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 08b82021-ab42-46dd-9a4f-53656fb5ddff · outbound

This paper cites Learning branching-time properties in CTL and ATL via constraint solving.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Learning branching-time properties in CTL and ATL via constraint solving

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.353693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c592a622-0be5-46f2-9e8e-1d7fb7c18a3f · outbound

This paper cites Zavlanos, and Miroslav Pajic.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Zavlanos, and Miroslav Pajic

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.362426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 940702d5-4970-4d2c-bd05-486accd36fa3 · outbound

This paper cites Klassen, Richard Anthony Valenzano, and Sheila A.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Klassen, Richard Anthony Valenzano, and Sheila A

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.370178Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ba1d7ec-d97a-4208-89fc-d8909a44a529 · outbound

This paper cites McIlraith.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications McIlraith

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.948957Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 5c8c6d5f-4ffe-4532-a10e-3fdc2afe52c4 · outbound

This paper cites Temporal-logic queries.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Temporal-logic queries

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.929680Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2f7fcfac-205d-49eb-b44d-6c391e770b6f · outbound

This paper cites Towards explainable formal methods: From LTL to natural language with neural machine translation.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Towards explainable formal methods: From LTL to natural language with neural machine translation

Reference 23

Resolution: verified exact; doi, observed 2026-08-10T13:39:36.470602Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation eedc3f5b-08f8-40c0-829b-17935865995d · outbound

This paper cites Learning temporal logic formulas from suboptimal demonstrations: theory and experiments.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Learning temporal logic formulas from suboptimal demonstrations: theory and experiments

Reference 24

Resolution: verified exact; doi, observed 2026-08-10T13:39:36.449378Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 86da875f-5708-4206-bb13-08dca1c596d4 · outbound

This paper cites Clarke, Armin Biere, Richard Raimi, and Yunshan Zhu.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Clarke, Armin Biere, Richard Raimi, and Yunshan Zhu

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.413650Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e958188-7624-4167-a755-f067d624da66 · outbound

This paper cites Cofer and Steven P.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Cofer and Steven P

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.911980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 9841293f-d9a3-4575-a959-46c29aaceae2 · outbound

This paper cites nl2spec: Interactively translating unstructured natural language to temporal logics with large language models.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications nl2spec: Interactively translating unstructured natural language to temporal logics with large language models

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.431049Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d479a1b-d153-4f80-a4a8-7bc92f3ebe2a · outbound

This paper cites an unresolved cited work.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Unresolved cited work

Reference 28

Resolution: malformed identifier; no resolver link, observed 2026-08-10T13:39:35.444533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f83eca3b-9844-41cf-9649-c86e0588946b · outbound

This paper cites Dwyer, George S.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Dwyer, George S

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.450303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86b7534a-995c-4efd-b16b-2cd62e6e4d2a · outbound

This paper cites Fecko, M.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Fecko, M

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.891651Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation bb501da6-fd79-4fdb-bc39-091c50e18e6b · outbound

This paper cites The complexity of learning linear temporal formulas from examples.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications The complexity of learning linear temporal formulas from examples

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.875040Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 38a104ba-45ec-4492-96e1-c875b7d5316a · outbound

This paper cites Ltlmop: Experimenting with language, temporal logic and robot control.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Ltlmop: Experimenting with language, temporal logic and robot control

Reference 32

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T13:39:37.737545Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c2ff8115-96ff-4f69-b92c-dee757cc23bb · outbound

This paper cites Nl2ltl - a python package for converting natural language (nl) instructions to linear temporal logic (ltl) formulas.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Nl2ltl - a python package for converting natural language (nl) instructions to linear temporal logic (ltl) formulas

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.477037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb1b0086-7823-45d8-b931-24789af8d187 · outbound

This paper cites Learning linear temporal properties from noisy data: A maxsat-based approach.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Learning linear temporal properties from noisy data: A maxsat-based approach

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.483344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dca19118-e360-441d-b132-67fb59ee6ff5 · outbound

This paper cites Model checking at scale: Automated air traffic control design space exploration.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Model checking at scale: Automated air traffic control design space exploration

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.858954Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c896e0b7-cb0b-412b-8b97-dac8bd7f2568 · outbound

This paper cites Answer Set Solving in Practice.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Answer Set Solving in Practice

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.514463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60738ba6-11a6-4617-8e28-ef0be933c8f5 · outbound

This paper cites Classical negation in logic programs and disjunctive databases.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Classical negation in logic programs and disjunctive databases

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.527786Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02bfa880-9473-428c-958c-a2423fa4403a · outbound

This paper cites Learning linear temporal properties for autonomous robotic systems.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Learning linear temporal properties for autonomous robotic systems

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.534483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cad6230-2339-40bc-ba3d-79e52b46c2a3 · outbound

This paper cites ARSENAL: automatic requirements specification extraction from natural language.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications ARSENAL: automatic requirements specification extraction from natural language

Reference 39

Resolution: verified exact; doi, observed 2026-08-10T13:39:36.329878Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7b7cb2a1-4bbf-400e-a210-eb58f358ad53 · outbound

This paper cites an unresolved cited work.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-10T13:39:38.839687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 4fe52371-bfd9-4eb9-9374-7b2ef3b37705 · outbound

This paper cites Formal requirements elicitation with FRET.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Formal requirements elicitation with FRET

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.821874Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b269fc3d-a1cf-486a-97c5-00d7a8f0298c · outbound

This paper cites Little tricky logic: Misconceptions in the understanding of LTL.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Little tricky logic: Misconceptions in the understanding of LTL

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.803798Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 974e0f8b-3b3d-4dd5-baa4-2fbd9e29b3f0 · outbound

This paper cites Kreber, Markus Norman Rabe, and Bernd Finkbeiner.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Kreber, Markus Norman Rabe, and Bernd Finkbeiner

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.782905Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f8d0b765-3745-4e6c-b91d-2efaf0eaa09d · outbound

This paper cites Hamilton, Rex Ying, and Jure Leskovec.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Hamilton, Rex Ying, and Jure Leskovec

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.764415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1d211687-bae9-41c7-9c5a-01f071c811b5 · outbound

This paper cites Pappas, and Insup Lee.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Pappas, and Insup Lee

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.590297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7062eff7-3cb8-452e-9e68-57eff37965c2 · outbound

This paper cites Holzmann.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Holzmann

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.748312Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ac8a23a0-dd93-4c40-b46b-a0cd9fef8b90 · outbound

This paper cites Towards ilp-based ltlf passive learning.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Towards ilp-based ltlf passive learning

Reference 47

Resolution: verified exact; doi, observed 2026-08-10T13:39:36.298746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 44d3caa1-5cce-47b2-a116-7c814a66bae0 · outbound

This paper cites Bayesian inference of linear temporal logic specifications for contrastive explanations.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Bayesian inference of linear temporal logic specifications for contrastive explanations

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.728679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 5de854c7-9b93-46ab-bebd-2882e8852f50 · outbound

This paper cites sel4: formal verification of an operating-system kernel.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications sel4: formal verification of an operating-system kernel

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.704560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1365febd-9abb-4337-921e-535d54e04d5b · outbound

This paper cites Temporal logics for learning and detection of anomalous behavior.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Temporal logics for learning and detection of anomalous behavior

Reference 50

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T13:39:37.215641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 619098fe-42f0-445f-a6c5-24445bd42c12 · outbound

This paper cites Temporal logic inference for classification and prediction from data.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Temporal logic inference for classification and prediction from data

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.630587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bac54059-278e-4f4d-8bbf-308b89b55fb5 · outbound

This paper cites Fainekos, and George J.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Fainekos, and George J

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.686346Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b2ecfd02-4b12-425b-b3f8-a93f73996666 · outbound

This paper cites Investigating program behavior using the texada LTL specifications miner.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Investigating program behavior using the texada LTL specifications miner

Reference 53

Resolution: verified exact; doi, observed 2026-08-10T13:39:36.269591Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6f524abb-11b6-4454-9220-e519cb10c50b · outbound

This paper cites an unresolved cited work.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Unresolved cited work

Reference 54

Resolution: unresolved; raw_fallback, observed 2026-08-10T13:39:38.669104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 75a371d3-e70a-4a6f-bc74-8b7d0519f5bc · outbound

This paper cites Reinforcement learning with temporal logic rewards.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Reinforcement learning with temporal logic rewards

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.657889Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc986282-d65f-4694-98f8-761bcb9f65ca · outbound

This paper cites Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.665302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e84900e-f063-4b99-97cf-a974ce605e51 · outbound

This paper cites Breaking and fixing the needham-schroeder public-key protocol using FDR.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Breaking and fixing the needham-schroeder public-key protocol using FDR

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.651889Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 4f200923-2243-4436-8d8d-75c0a5a96a50 · outbound

This paper cites Bridging ltlf inference to GNN inference for learning ltlf formulae.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Bridging ltlf inference to GNN inference for learning ltlf formulae

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.633865Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d3efd481-3e31-4a7f-b006-28076f00cc06 · outbound

This paper cites Specification sketching for linear temporal logic.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Specification sketching for linear temporal logic

Reference 59

Resolution: verified exact; doi, observed 2026-08-10T13:39:36.199481Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ea3fc3db-abb9-4e75-9eaf-d2da52793232 · outbound

This paper cites Learning temporal formulas from examples is hard.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Learning temporal formulas from examples is hard

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.697062Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e8bd58a-03c6-4585-8a38-5bf823448686 · outbound

This paper cites Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez - Chanlatte, and Alexandre Donz \' e.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez - Chanlatte, and Alexandre Donz \' e

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.702678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a6a0194-dfff-447d-a091-e9b0e3873df7 · outbound

This paper cites Learning linear temporal properties.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Learning linear temporal properties

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.709889Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b194f7e-433a-4933-8f4c-064ccf448661 · outbound

This paper cites What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications , pages 109--125.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications , pages 109--125

Reference 63

Resolution: verified exact; doi, observed 2026-08-10T13:39:36.152504Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 0e798162-54b2-4b68-b293-a78a7a2af63f · outbound

This paper cites Nemhauser and Laurence A.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Nemhauser and Laurence A

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.724200Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40e5f74f-d156-4e0d-93e0-5c823e52f119 · outbound

This paper cites A robust genetic algorithm for learning temporal specifications from data.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications A robust genetic algorithm for learning temporal specifications from data

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.613473Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 4fa23b50-5250-453d-a333-9fb317cceb32 · outbound

This paper cites Nikora and Galen Balcom.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Nikora and Galen Balcom

Reference 66

Resolution: verified exact; doi, observed 2026-08-10T13:39:36.104125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1a9259fe-e457-499d-9395-35a7ddee44d2 · outbound

This paper cites Planning with state abstractions for non-markovian task specifications.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Planning with state abstractions for non-markovian task specifications

Reference 67

Resolution: verified exact; doi, observed 2026-08-10T13:39:36.080618Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation dd7d471c-27ed-4fa9-a7cf-4a54327b9364 · outbound

This paper cites Data-efficient learning of natural language to linear temporal logic translators for robot task specification.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Data-efficient learning of natural language to linear temporal logic translators for robot task specification

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.761412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1574f11f-7545-4f29-8425-bc68df4de1dc · outbound

This paper cites The temporal logic of programs.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications The temporal logic of programs

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.772245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4cc2f171-105a-4d48-99a2-5a6732292f05 · outbound

This paper cites Sat-based learning of computation tree logic.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Sat-based learning of computation tree logic

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.783098Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27c0ecfe-e110-4410-9f6b-836937e50e94 · outbound

This paper cites Scalable anytime algorithms for learning fragments of linear temporal logic.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Scalable anytime algorithms for learning fragments of linear temporal logic

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.591164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a2ecb28b-09a7-4222-baec-dcaf424dc710 · outbound

This paper cites Scarlet: Scalable anytime algorithms for learning fragments of linear temporal logic.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Scarlet: Scalable anytime algorithms for learning fragments of linear temporal logic

Reference 72

Resolution: verified exact; doi, observed 2026-08-10T13:39:36.023853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 09ab0cfb-91f9-46a4-a3a4-55af8315fa0a · outbound

This paper cites P \' e rez.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications P \' e rez

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.571735Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 82940020-19c2-4ea5-91f5-de9ad1ded0d1 · outbound

This paper cites Barrett, and Cesare Tinelli.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Barrett, and Cesare Tinelli

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.804918Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75ca2985-921c-4658-9104-6008b5f73cb3 · outbound

This paper cites Exact synthesis of LTL properties from traces.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Exact synthesis of LTL properties from traces

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.547097Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 50fad820-14a8-4bdb-9d4a-f12ed405f18a · outbound

This paper cites Learning interpretable models in the property specification language.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Learning interpretable models in the property specification language

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.530222Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation bfd2b170-902a-4833-a4a7-cd925dac506c · outbound

This paper cites Learning Interpretable Temporal Properties from Positive Examples Only.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Learning Interpretable Temporal Properties from Positive Examples Only

Reference 77

Resolution: verified exact; local_arxiv, observed 2026-08-10T13:39:36.625550Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ff8f7ded-b3af-4d15-abca-5d51dcd8f940 · outbound

This paper cites Specification: The biggest bottleneck in formal methods and autonomy.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Specification: The biggest bottleneck in formal methods and autonomy

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.511951Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ebbd2128-e3b5-409a-ac4c-481c76a40e73 · outbound

This paper cites Shah, and Shen Li.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Shah, and Shen Li

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.495353Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 53786836-b0f6-4f10-8f49-e065951305ea · outbound

This paper cites Ltl learning on gpus.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Ltl learning on gpus

Reference 80

Resolution: verified exact; doi, observed 2026-08-10T13:39:35.979708Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6830d7e3-4065-43a7-b143-d063b9f55051 · outbound

This paper cites an unresolved cited work.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Unresolved cited work

Reference 81

Resolution: unresolved; raw_fallback, observed 2026-08-10T13:39:38.478292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 43db9e80-7421-4727-9390-5437cd1a8d14 · outbound

This paper cites an unresolved cited work.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Unresolved cited work

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-10T13:39:35.859431Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbb89c7d-cd18-4712-9795-eb3c561b9534 · outbound

This paper cites End-to-end learning of ltlf formulae by faithful ltlf encoding.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications End-to-end learning of ltlf formulae by faithful ltlf encoding

Reference 83

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.461938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 03019331-c1e0-4bde-855d-b350deb23a44 · outbound

This paper cites Mining temporal specifications from object usage.

What is Formal Verification without Specifications? A Survey on mining LTL Specifications Mining temporal specifications from object usage

Reference 84

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T13:39:38.444219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers