ARCH-COMP25 Category Report: Stochastic Models | Paper Citation Record

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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+00:00.

Observation 6608b57e-f03d-424d-9b6d-5f0cc5dcf56a · outbound

This paper cites [Online].

ARCH-COMP25 Category Report: Stochastic Models [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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers