Robuta

https://pure.bit.edu.cn/en/publications/reachability-analysis-of-cyber-physical-systems-under-stealthy-at/ Reachability Analysis of Cyber-Physical Systems Under Stealthy Attacks - Beijing Institute of... cyber physical systemsreachability analysisstealthyattacksbeijing https://aaltodoc.aalto.fi/items/dc05a23e-4e37-4117-b1ad-8334e4b2ce6e/full On Pragmatic System Design through Learning and Implementation-oriented Reachability Analysis The need for formalization and verification in the design of complex systems is now more evident than ever. However, formal methods practices can sometimes be... system designreachability analysispragmaticlearningimplementation https://ricerca.unich.it/handle/11564/205329 Improving Reachability Analysis of Infinite State Systems by Specialization reachability analysisinfinite stateby specializationimprovingsystems https://iris.cnr.it/handle/20.500.14243/416411 Reachability analysis in stochastic directed graphs by reinforcement learning reachability analysisreinforcement learningstochasticdirectedgraphs https://arxiv.org/abs/2502.00935 [2502.00935] Generalizing Safety Beyond Collision-Avoidance via Latent-Space Reachability Analysis Abstract page for arXiv paper 2502.00935: Generalizing Safety Beyond Collision-Avoidance via Latent-Space Reachability Analysis collision avoidancelatent spacereachability analysissafetybeyond https://pure.psu.edu/en/publications/hybrid-zonotopes-a-new-set-representation-for-reachability-analys/ Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical... reachability analysishybridnewsetrepresentation https://www.ox.security/blog/unlocking-a-new-era-in-application-security-with-ox-securitys-attack-path-reachability-analysis/ Unlocking a New Era in Application Security with OX Security's Attack Path Reachability Analysis |... May 7, 2024 - Discover how OX's proactive application security solution, featuring Attack Path Reachability Analysis, revolutionizes AppSec by prioritizing risks and... a new eraapplication securityattack pathreachability analysisunlocking https://publikationen.bibliothek.kit.edu/1000120893 Join-Lock-Sensitive Forward Reachability Analysis for Concurre... reachability analysisjoinlocksensitiveforward https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015.177 Reachability Analysis of Innermost Rewriting reachability analysisinnermostrewriting https://www.sciweavers.org/publications/symbolic-reachability-analysis-large-finite-state-machines-using-dont-cares Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares | Sciweavers Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares - Reachability analysis of finite state machines is essential to many... finite state machinesreachability analysissymboliclargeusing https://vivo.colorado.edu/display/pubid_276467 Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference | CU... reachability analysisfeedback systemsneuralusingpolynomial https://www.endorlabs.com/events/prioritize-sca-findings-reachability-analysis-webinar Prioritizing SCA Findings with Reachability Analysis | Endor Labs Join Endor Labs for a webinar on how reachability analysis can reduce SCA noise by 80%+. Register now. reachability analysisendor labsprioritizingscafindings https://researchconnect.stonybrook.edu/en/publications/fully-automated-verification-of-linear-systems-using-reachability/ Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions -... fully automatedlinear systemsreachability analysissupport functionsverification https://drum.lib.umd.edu/items/a2788d51-3c7a-4e58-93bb-1810baadb118 Generalized Fair Reachability Analysis for Cyclic Protocols In this paper, the notion of fair reachability is generalized to cyclic protocols with $n\geq 2$ machines. Substantial state reduction can be achieved via fair... reachability analysisfaircyclicprotocols https://research.ou.nl/en/publications/low-level-reachability-analysis-based-onformal-logic/ Low-Level Reachability Analysis Based on Formal Logic - Open Universiteit research portal low levelreachability analysisbased onformal logicopen universiteit https://www.ideals.illinois.edu/items/42147 Symbolic reachability analysis for rewrite theories | IDEALS reachability analysissymbolicrewritetheoriesideals https://www.prover.com/formal-methods/reachability-analysis/ Reachability analysis as a way to validate requirements and constraints - Prover - Engineering a... Jan 21, 2025 - Learn how reachability analysis improves safety and validation in railway signaling systems. reachability analysiswayvalidaterequirementsconstraints https://researchportal.ip-paris.fr/en/publications/goal-space-abstraction-in-hierarchical-reinforcement-learning-via/ Goal Space Abstraction in Hierarchical Reinforcement Learning via Set-Based Reachability Analysis -... reinforcement learningreachability analysisgoalspaceabstraction https://www.easychair.org/publications/keyword/vprg Keyword: probabilistic reachability analysis reachability analysiskeywordprobabilistic https://portal.fis.tum.de/en/publications/combining-zonotopes-and-support-functions-for-efficient-reachabil/ Combining zonotopes and support functions for efficient reachability analysis of linear systems -... and supportreachability analysislinear systemscombiningfunctions