Reachability Analysis for Annotated Code

Reachability Analysis for Annotated Code

Podrobná bibliografie
Hlavní autoři:	Janota, M, Grigore, R, Moskal, M
Médium:	Record
Vydáno:	2007

Podobné jednotky

All-Path Reachability Logic
Autor: Andrei Stefanescu, a další
Vydáno: (2019-04-01)

Functional Reachability
Autor: Ong, C, a další
Vydáno: (2009)

Reachability Analysis of Innermost Rewriting
Autor: Thomas Genet, a další
Vydáno: (2017-03-01)

Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets
Autor: Seyoung Kim, a další
Vydáno: (2023-01-01)

Reachability Analysis of Neural Feedback Loops
Autor: Everett, Michael, a další
Vydáno: (2022)

Reachability Analysis of Communicating Pushdown Systems
Autor: Alexander Heussner, a další
Vydáno: (2012-09-01)

Revisiting reachability in timed automata
Autor: Quaas, K, a další
Vydáno: (2017)

On affine reachability problems
Autor: Jaax, S, a další
Vydáno: (2020)

Reachability Switching Games
Autor: John Fearnley, a další
Vydáno: (2021-04-01)

Constraint-based reachability
Autor: Arnaud Gotlieb, a další
Vydáno: (2013-02-01)

Stochastic reachability analysis in complex biological networks
Autor: El-Samad, H, a další
Vydáno: (2006)

Expected Reachability−Time Games
Autor: Forejt, V, a další
Vydáno: (2010)

Expected reachability-time games
Autor: Forejt, V, a další
Vydáno: (2016)

Expected Reachability-Time Games.
Autor: Forejt, V, a další
Vydáno: (2010)

Reachability−Time Games on Timed Automata
Autor: Jurdzinski, M, a další
Vydáno: (2007)

Analysis of Reachable Set for Aircraft Perching Trajectory
Autor: DU Xin, a další
Vydáno: (2021-12-01)

Iterable Forward Reachability Analysis of Monitor-DPNs
Autor: Benedikt Nordhoff, a další
Vydáno: (2013-09-01)

Directed reachability for infinite-state systems
Autor: Blondin, M, a další
Vydáno: (2021)

Adding Edges for Maximizing Weighted Reachability
Autor: Federico Corò, a další
Vydáno: (2020-03-01)

Minimal Reachability is Hard to Approximate
Autor: Jadbabaie, A, a další
Vydáno: (2023)

Reachability in pushdown register automata
Autor: Murawski, A, a další
Vydáno: (2017)

Reachability in Stochastic Timed Games.
Autor: Bouyer, P, a další
Vydáno: (2009)

Reachability under Contextual Locking
Autor: Remi Bonnet, a další
Vydáno: (2013-09-01)

Reachability Results in Plane Trees
Autor: Isaac Owino Okoth, a další
Vydáno: (2021-06-01)

Eternal Domination: Criticality and Reachability
Autor: Klostermeyer William F., a další
Vydáno: (2017-02-01)

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
Autor: Hague, M, a další
Vydáno: (2007)

Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
Autor: Hague, M, a další
Vydáno: (2008)

Asymptotic orders of reachability in linear dynamic systems
Autor: Özveren, Cüneyt M
Vydáno: (2005)

Time-optimal path tracking via reachability analysis
Autor: Pham, Hung, a další
Vydáno: (2021)

Reachability analysis of deep neural networks with provable guarantees
Autor: Ruan, W, a další
Vydáno: (2018)

Robust Diagnosability Analysis Using Basis Reachability Graph
Autor: Shiqi Li, a další
Vydáno: (2023-01-01)

Output Reachable Set Analysis for Periodic Positive Systems
Autor: Ilyas Sitli, a další
Vydáno: (2021-01-01)

Directed Model Checking for Fast Abstract Reachability Analysis
Autor: Nakwon Lee, a další
Vydáno: (2021-01-01)

What GHG Concentration Targets are Reachable in this Century?
Autor: Paltsev, Sergey, a další
Vydáno: (2013)

Optimal labelling schemes for adjacency, comparability, and reachability
Autor: Bonamy, M, a další
Vydáno: (2021)

Incorporating Non-Coding Annotations into Rare Variant Analysis.
Autor: Tom G Richardson, a další
Vydáno: (2016-01-01)

Proving Reachability Using FShell - (Competition Contribution).
Autor: Holzer, A, a další
Vydáno: (2012)

Reachability and robust design in dynamic systems
Autor: Harwood, Stuart Maxwell
Vydáno: (2016)

Reachability in recursive Markov decision processes.
Autor: Brázdil, T, a další
Vydáno: (2008)

Traversability, Reconfiguration, and Reachability in the Gadget Framework
Autor: Ani, Joshua, a další
Vydáno: (2023)