Reachability Analysis for Annotated Code

Reachability Analysis for Annotated Code

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Janota, M, Grigore, R, Moskal, M
Формат:	Record
Хэвлэсэн:	2007

Ижил төстэй зүйлс

All-Path Reachability Logic
-н: Andrei Stefanescu, зэрэг
Хэвлэсэн: (2019-04-01)

Functional Reachability
-н: Ong, C, зэрэг
Хэвлэсэн: (2009)

Reachability Analysis of Innermost Rewriting
-н: Thomas Genet, зэрэг
Хэвлэсэн: (2017-03-01)

Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets
-н: Seyoung Kim, зэрэг
Хэвлэсэн: (2023-01-01)

Reachability Analysis of Neural Feedback Loops
-н: Everett, Michael, зэрэг
Хэвлэсэн: (2022)

Reachability Analysis of Communicating Pushdown Systems
-н: Alexander Heussner, зэрэг
Хэвлэсэн: (2012-09-01)

Revisiting reachability in timed automata
-н: Quaas, K, зэрэг
Хэвлэсэн: (2017)

On affine reachability problems
-н: Jaax, S, зэрэг
Хэвлэсэн: (2020)

Reachability Switching Games
-н: John Fearnley, зэрэг
Хэвлэсэн: (2021-04-01)

Constraint-based reachability
-н: Arnaud Gotlieb, зэрэг
Хэвлэсэн: (2013-02-01)

Stochastic reachability analysis in complex biological networks
-н: El-Samad, H, зэрэг
Хэвлэсэн: (2006)

Expected Reachability−Time Games
-н: Forejt, V, зэрэг
Хэвлэсэн: (2010)

Expected reachability-time games
-н: Forejt, V, зэрэг
Хэвлэсэн: (2016)

Expected Reachability-Time Games.
-н: Forejt, V, зэрэг
Хэвлэсэн: (2010)

Reachability−Time Games on Timed Automata
-н: Jurdzinski, M, зэрэг
Хэвлэсэн: (2007)

Analysis of Reachable Set for Aircraft Perching Trajectory
-н: DU Xin, зэрэг
Хэвлэсэн: (2021-12-01)

Iterable Forward Reachability Analysis of Monitor-DPNs
-н: Benedikt Nordhoff, зэрэг
Хэвлэсэн: (2013-09-01)

Directed reachability for infinite-state systems
-н: Blondin, M, зэрэг
Хэвлэсэн: (2021)

Adding Edges for Maximizing Weighted Reachability
-н: Federico Corò, зэрэг
Хэвлэсэн: (2020-03-01)

Minimal Reachability is Hard to Approximate
-н: Jadbabaie, A, зэрэг
Хэвлэсэн: (2023)

Reachability in pushdown register automata
-н: Murawski, A, зэрэг
Хэвлэсэн: (2017)

Reachability in Stochastic Timed Games.
-н: Bouyer, P, зэрэг
Хэвлэсэн: (2009)

Reachability under Contextual Locking
-н: Remi Bonnet, зэрэг
Хэвлэсэн: (2013-09-01)

Reachability Results in Plane Trees
-н: Isaac Owino Okoth, зэрэг
Хэвлэсэн: (2021-06-01)

Eternal Domination: Criticality and Reachability
-н: Klostermeyer William F., зэрэг
Хэвлэсэн: (2017-02-01)

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
-н: Hague, M, зэрэг
Хэвлэсэн: (2007)

Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
-н: Hague, M, зэрэг
Хэвлэсэн: (2008)

Asymptotic orders of reachability in linear dynamic systems
-н: Özveren, Cüneyt M
Хэвлэсэн: (2005)

Time-optimal path tracking via reachability analysis
-н: Pham, Hung, зэрэг
Хэвлэсэн: (2021)

Reachability analysis of deep neural networks with provable guarantees
-н: Ruan, W, зэрэг
Хэвлэсэн: (2018)

Robust Diagnosability Analysis Using Basis Reachability Graph
-н: Shiqi Li, зэрэг
Хэвлэсэн: (2023-01-01)

Output Reachable Set Analysis for Periodic Positive Systems
-н: Ilyas Sitli, зэрэг
Хэвлэсэн: (2021-01-01)

Directed Model Checking for Fast Abstract Reachability Analysis
-н: Nakwon Lee, зэрэг
Хэвлэсэн: (2021-01-01)

What GHG Concentration Targets are Reachable in this Century?
-н: Paltsev, Sergey, зэрэг
Хэвлэсэн: (2013)

Optimal labelling schemes for adjacency, comparability, and reachability
-н: Bonamy, M, зэрэг
Хэвлэсэн: (2021)

Incorporating Non-Coding Annotations into Rare Variant Analysis.
-н: Tom G Richardson, зэрэг
Хэвлэсэн: (2016-01-01)

Proving Reachability Using FShell - (Competition Contribution).
-н: Holzer, A, зэрэг
Хэвлэсэн: (2012)

Reachability and robust design in dynamic systems
-н: Harwood, Stuart Maxwell
Хэвлэсэн: (2016)

Reachability in recursive Markov decision processes.
-н: Brázdil, T, зэрэг
Хэвлэсэн: (2008)

Traversability, Reconfiguration, and Reachability in the Gadget Framework
-н: Ani, Joshua, зэрэг
Хэвлэсэн: (2023)