Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T19:11:19.383982Z
Paper Citation Record · LEDGER
ARCH-COMP25 Category Report: Stochastic Models
As of 18 August 2026, this Paper Citation Record lists 59 of 59 outbound references and 0 inbound Pith citation observations for arXiv:2506.17602.
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
59 of 59 outbound references displayed
- verified exact2
- verified fuzzy47
- unresolved7
- parse uncertain0
- malformed identifier3
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation d87d1fad-c4c9-4ed7-b0af-d3fa0afe7162 · outbound
This paper cites The ARCH-COMP friendly verification competition for continuous and hybrid systems,.
ARCH-COMP25 Category Report: Stochastic Models The ARCH-COMP friendly verification competition for continuous and hybrid systems,
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.570387Z
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 91d197c8-23f3-46a6-867e-ba77445a7162 · outbound
This paper cites Automated verification and synthesis of stochastic hybrid systems: A survey,.
ARCH-COMP25 Category Report: Stochastic Models Automated verification and synthesis of stochastic hybrid systems: A survey,
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.554244Z
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 79c3f987-c81a-44f6-9702-dd9b06cc6a7c · outbound
This paper cites Tools at the frontiers of quantitative verification - QComp 2023 competition report,.
ARCH-COMP25 Category Report: Stochastic Models Tools at the frontiers of quantitative verification - QComp 2023 competition report,
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.540216Z
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 19ae524a-130d-4acd-aa94-8a700d6ee55c · outbound
This paper cites PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems.
ARCH-COMP25 Category Report: Stochastic Models PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:11:19.123788Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3ee4beec-b708-49bb-9804-ed12bcd3d598 · outbound
This paper cites Protect: Parallel construction of barrier certificates for safety verification of polynomial systems,.
ARCH-COMP25 Category Report: Stochastic Models Protect: Parallel construction of barrier certificates for safety verification of polynomial systems,
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.525213Z
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 4d7c6221-5c66-4a0a-ae1c-7fb7ba56895f · outbound
This paper cites Yuan, SumOfSquares.py.
ARCH-COMP25 Category Report: Stochastic Models Yuan, SumOfSquares.py
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.510944Z
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 76c8135f-f527-427f-9a78-335d25446d56 · outbound
This paper cites Compositional construction of control barrier certificates for large-scale interconnected stochastic systems,.
ARCH-COMP25 Category Report: Stochastic Models Compositional construction of control barrier certificates for large-scale interconnected stochastic systems,
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.496059Z
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 d24efc7e-c8c4-45e1-b365-3a256a8972ad · outbound
This paper cites Compositional construction of control barrier functions for networks of continuous-time stochastic systems,.
ARCH-COMP25 Category Report: Stochastic Models Compositional construction of control barrier functions for networks of continuous-time stochastic systems,
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.480914Z
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 862ba1a7-1f92-4422-a2d1-ea0edc039c8e · outbound
This paper cites ApS, Mosek optimizer api for python , 2022.
ARCH-COMP25 Category Report: Stochastic Models ApS, Mosek optimizer api for python , 2022
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.465398Z
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 6e270aef-f7e9-4140-8c7e-f1292591a9bc · outbound
This paper cites CVXOPT: A Python package for convex optimization,.
ARCH-COMP25 Category Report: Stochastic Models CVXOPT: A Python package for convex optimization,
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.450960Z
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 a1889cf9-5c89-4a93-addc-707c38e8979d · outbound
This paper cites IMPaCT: Interval MDP parallel construction for controller synthesis of large-scale stochastic systems,.
ARCH-COMP25 Category Report: Stochastic Models IMPaCT: Interval MDP parallel construction for controller synthesis of large-scale stochastic systems,
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.436427Z
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 fa5f0aa5-680c-49af-b177-d5bbd4f9f0f1 · outbound
This paper cites IMPaCT: A parallelized software tool for IMDP construction and controller synthesis with convergence guarantees,.
ARCH-COMP25 Category Report: Stochastic Models IMPaCT: A parallelized software tool for IMDP construction and controller synthesis with convergence guarantees,
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.421727Z
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 7da6d097-58a9-4579-add5-dfd7fc2f6b9b · outbound
This paper cites Interval iteration algorithm for MDPs and IMDPs,.
ARCH-COMP25 Category Report: Stochastic Models Interval iteration algorithm for MDPs and IMDPs,
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.406534Z
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 069bab27-954b-4ef7-810b-9d9f7e6a281a · outbound
This paper cites SYCL beyond OpenCL: The Architecture, Current State and Future Direction of HipSYCL,.
ARCH-COMP25 Category Report: Stochastic Models SYCL beyond OpenCL: The Architecture, Current State and Future Direction of HipSYCL,
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.392524Z
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 80c813df-d8a3-4c41-8034-b399b846ed0a · outbound
This paper cites One Pass to Bind Them: The First Single-Pass SYCL Compiler with Unified Code Representation Across Backends,.
ARCH-COMP25 Category Report: Stochastic Models One Pass to Bind Them: The First Single-Pass SYCL Compiler with Unified Code Representation Across Backends,
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.377356Z
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 6608b57e-f03d-424d-9b6d-5f0cc5dcf56a · outbound
This paper cites [Online].
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.361680Z
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 8c0e1952-4126-442d-af43-6bc2568346ba · outbound
This paper cites Data-driven abstractions via binary- tree gaussian processes for formal verification,.
ARCH-COMP25 Category Report: Stochastic Models Data-driven abstractions via binary- tree gaussian processes for formal verification,
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.347339Z
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 5bdd4699-2b78-4291-921f-4d12f9c1c82b · outbound
This paper cites IntervalMDP.jl: accelerated value iteration for interval markov decision processes,.
ARCH-COMP25 Category Report: Stochastic Models IntervalMDP.jl: accelerated value iteration for interval markov decision processes,
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:11:19.183435Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2db8bed4-f073-41ef-82d2-30280b467954 · outbound
This paper cites Scalable control synthesis for stochastic systems via structural IMDP abstractions.
ARCH-COMP25 Category Report: Stochastic Models Scalable control synthesis for stochastic systems via structural IMDP abstractions
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:11:19.188262Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fb43cdc5-c66c-47bd-b901-9d1e1bf0b09a · outbound
This paper cites Strategy synthesis for partially- known switched stochastic systems,.
ARCH-COMP25 Category Report: Stochastic Models Strategy synthesis for partially- known switched stochastic systems,
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:11:19.193213Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 556f0e18-9402-4108-ab21-22a9d30f85b7 · outbound
This paper cites Hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions,.
ARCH-COMP25 Category Report: Stochastic Models Hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions,
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.332968Z
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 fb06fd39-5dbe-4651-a7ed-36f3a2562481 · outbound
This paper cites Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes,.
ARCH-COMP25 Category Report: Stochastic Models Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes,
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.318529Z
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 3b1693f1-95e2-4103-a7fd-3d41ff26eeab · outbound
This paper cites State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings,.
ARCH-COMP25 Category Report: Stochastic Models State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings,
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.303652Z
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 d6784c5d-9874-4fde-83bf-05b204766219 · outbound
This paper cites Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro,.
ARCH-COMP25 Category Report: Stochastic Models Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro,
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.288646Z
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 a7b8997f-07c5-4d54-a955-e7395e2e40cb · outbound
This paper cites HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis,.
ARCH-COMP25 Category Report: Stochastic Models HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis,
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.273112Z
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 2ddc1566-429f-4bf2-98ea-23137cb24a9f · outbound
This paper cites A new algorithm for adaptive multidimensional integration,.
ARCH-COMP25 Category Report: Stochastic Models A new algorithm for adaptive multidimensional integration,
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.258064Z
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 be272723-d77c-42ec-a02d-aef892bfda3b · outbound
This paper cites State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings,.
ARCH-COMP25 Category Report: Stochastic Models State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings,
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.243388Z
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 eacb1e15-ebe8-40a7-b176-3a4fd0653aed · outbound
This paper cites Rare event simulation for stochastic hybrid systems using symbolic importance functions,.
ARCH-COMP25 Category Report: Stochastic Models Rare event simulation for stochastic hybrid systems using symbolic importance functions,
Reference 28
- Resolution
- verified exact
- doi, observed 2026-08-15T19:11:19.468260Z
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 097fb1e1-d203-48b6-9dd5-d6a09966a0db · outbound
This paper cites Symbolic state-space exploration meets statistical model checking,.
ARCH-COMP25 Category Report: Stochastic Models Symbolic state-space exploration meets statistical model checking,
Reference 29
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-15T19:11:19.231572Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d6576f74-e761-4796-aa14-24ee99ca03ed · outbound
This paper cites HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper,.
ARCH-COMP25 Category Report: Stochastic Models HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper,
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.229168Z
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 a52fe5e8-cdda-45e3-98b3-1789a5ce7974 · outbound
This paper cites Statistical Model Checking for hybrid Petri nets with multiple general transitions,.
ARCH-COMP25 Category Report: Stochastic Models Statistical Model Checking for hybrid Petri nets with multiple general transitions,
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.214299Z
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 5863d835-ad3c-46df-8eb2-e3a365bcf240 · outbound
This paper cites Learning optimal decisions for stochastic hybrid systems,.
ARCH-COMP25 Category Report: Stochastic Models Learning optimal decisions for stochastic hybrid systems,
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:11:19.244425Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a5e4c320-f23b-44ba-8613-5898a3771e95 · outbound
This paper cites Learning that grid-convenience does not hurt resilience in the presence of uncertainty,.
ARCH-COMP25 Category Report: Stochastic Models Learning that grid-convenience does not hurt resilience in the presence of uncertainty,
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:11:19.248755Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a021e84f-5718-4ffc-9240-52451d749bb7 · outbound
This paper cites Rare event simulation for stochastic hybrid systems using symbolic importance functions,.
ARCH-COMP25 Category Report: Stochastic Models Rare event simulation for stochastic hybrid systems using symbolic importance functions,
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.198738Z
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 52fa8559-e9f1-43d0-bcd7-1e518b9d577b · outbound
This paper cites Syscore 2.0: Toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specifications,.
ARCH-COMP25 Category Report: Stochastic Models Syscore 2.0: Toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specifications,
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.184365Z
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 f5548bd9-0336-4746-9443-7ca7d40417f9 · outbound
This paper cites Syscore: Synthesis via stochastic coupling relations,.
ARCH-COMP25 Category Report: Stochastic Models Syscore: Synthesis via stochastic coupling relations,
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:11:19.266583Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c9d68994-5611-4637-8bdb-c59fedb78aae · outbound
This paper cites Verification of general Markov decision processes by approximate similarity relations and policy refinement,.
ARCH-COMP25 Category Report: Stochastic Models Verification of general Markov decision processes by approximate similarity relations and policy refinement,
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.168663Z
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 a7cf384c-fff8-4c64-9c54-ccc0cc7a5968 · outbound
This paper cites Abstracting linear stochastic systems via knowledge filtering,.
ARCH-COMP25 Category Report: Stochastic Models Abstracting linear stochastic systems via knowledge filtering,
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.151727Z
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 46a3ae33-1212-42c9-a468-8d26440730fd · outbound
This paper cites AMYTISS: Parallelized automated controller synthesis for large-scale stochastic systems,.
ARCH-COMP25 Category Report: Stochastic Models AMYTISS: Parallelized automated controller synthesis for large-scale stochastic systems,
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.133804Z
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 e8789b79-7d51-42bb-a7ee-203ecc898a1e · outbound
This paper cites AMYTISS: A parallelized tool on automated controller synthesis for large-scale stochastic systems,.
ARCH-COMP25 Category Report: Stochastic Models AMYTISS: A parallelized tool on automated controller synthesis for large-scale stochastic systems,
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.118682Z
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 2573d7f3-6c3f-4a87-bf0e-ec3abbcbe20e · outbound
This paper cites pFaces: an acceleration ecosystem for symbolic control,.
ARCH-COMP25 Category Report: Stochastic Models pFaces: an acceleration ecosystem for symbolic control,
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.104230Z
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 f2ab5524-03dd-4c63-b197-4ac92d0a4276 · outbound
This paper cites Abstraction-based synthesis of stochastic hybrid systems,.
ARCH-COMP25 Category Report: Stochastic Models Abstraction-based synthesis of stochastic hybrid systems,
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.089561Z
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 387a039b-7fe6-4257-9284-9741f6be6ff0 · outbound
This paper cites Automated verification and control of large-scale stochastic cyber-physical systems: Compositional techniques,.
ARCH-COMP25 Category Report: Stochastic Models Automated verification and control of large-scale stochastic cyber-physical systems: Compositional techniques,
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.073288Z
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 3e7867cc-d8c7-4680-a95c-d4e9efc8676f · outbound
This paper cites StocHy: Automated verification and synthesis of stochastic processes,.
ARCH-COMP25 Category Report: Stochastic Models StocHy: Automated verification and synthesis of stochastic processes,
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.057773Z
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 6e8106c7-ddbd-4230-a652-36e0122603fe · outbound
This paper cites From dissipativity theory to compositional synthesis of large- scale stochastic switched systems,.
ARCH-COMP25 Category Report: Stochastic Models From dissipativity theory to compositional synthesis of large- scale stochastic switched systems,
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.042325Z
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 5a7de51d-ef34-46cf-ab32-0150faa142b6 · outbound
This paper cites Scalable synthesis of finite MDPs for large-scale stochastic switching systems,.
ARCH-COMP25 Category Report: Stochastic Models Scalable synthesis of finite MDPs for large-scale stochastic switching systems,
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.026649Z
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 c320c87a-d949-42bb-9701-a727f3865909 · outbound
This paper cites Arch-comp23 category report: Stochastic models,.
ARCH-COMP25 Category Report: Stochastic Models Arch-comp23 category report: Stochastic models,
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:20.011173Z
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 ac6578ba-3811-4eea-a814-f22f0b3a7e86 · outbound
This paper cites Rare collision risk estimation of autonomous vehicles with multi-agent situation awareness,.
ARCH-COMP25 Category Report: Stochastic Models Rare collision risk estimation of autonomous vehicles with multi-agent situation awareness,
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:19.995461Z
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 3851e53e-6a72-4b6a-b059-3f1bd6dd447e · outbound
This paper cites Path planning using a dynamic vehicle model,.
ARCH-COMP25 Category Report: Stochastic Models Path planning using a dynamic vehicle model,
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:19.980296Z
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 7e8c6701-5ea8-4c78-999d-04e7eba3a89e · outbound
This paper cites Toward a general theory of stochastic hybrid systems,.
ARCH-COMP25 Category Report: Stochastic Models Toward a general theory of stochastic hybrid systems,
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:19.965480Z
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 1df6ec66-0d6c-4517-91f3-42a44137d27e · outbound
This paper cites Interacting particle system based estimation of reach probability of general stochastic hybrid systems,.
ARCH-COMP25 Category Report: Stochastic Models Interacting particle system based estimation of reach probability of general stochastic hybrid systems,
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:19.950076Z
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 b877db0a-9776-40a8-8bad-fa32bb47a609 · outbound
This paper cites Feedback refinement relations for the synthesis of symbolic controllers,.
ARCH-COMP25 Category Report: Stochastic Models Feedback refinement relations for the synthesis of symbolic controllers,
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:19.933502Z
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 3386c812-ec09-4b73-a24c-b6fcd34438c9 · outbound
This paper cites Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems,.
ARCH-COMP25 Category Report: Stochastic Models Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems,
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:19.917371Z
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 9a96493d-b7e7-46f2-800c-3306b749731a · outbound
This paper cites ARCH-COMP18 category report: Stochastic modelling,.
ARCH-COMP25 Category Report: Stochastic Models ARCH-COMP18 category report: Stochastic modelling,
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:19.902283Z
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 4f9ae6ee-ea9b-46c9-a509-581047f9f0bd · outbound
This paper cites ARCH-COMP19 category report: Stochastic modelling,.
ARCH-COMP25 Category Report: Stochastic Models ARCH-COMP19 category report: Stochastic modelling,
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:19.884829Z
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 858f6093-d719-40c4-bc15-6ebe36f607b9 · outbound
This paper cites Arch-comp20 category report: Stochastic models,.
ARCH-COMP25 Category Report: Stochastic Models Arch-comp20 category report: Stochastic models,
Reference 56
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-15T19:11:19.441104Z
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 164b7ce4-a29c-4ac7-a1d6-24130c103e72 · outbound
This paper cites ARCH-COMP22 Category Report: Stochastic Models,.
ARCH-COMP25 Category Report: Stochastic Models ARCH-COMP22 Category Report: Stochastic Models,
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:11:19.869515Z
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 ee730bde-f76d-44c1-829e-1e37e0b9c09c · outbound
This paper cites Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems.
ARCH-COMP25 Category Report: Stochastic Models Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
Reference 58
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T19:11:19.502317Z
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 d051426e-b38d-4135-b416-e91f59463307 · outbound
This paper cites Arch-comp21 category report: Stochastic mod- els,.
ARCH-COMP25 Category Report: Stochastic Models Arch-comp21 category report: Stochastic mod- els,
Reference 59
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-15T19:11:19.425448Z
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.