logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
R

REACHABILITY PROBLEMS, RP 2025

IF
Papers18
Citations
Journal Papers 18
Publication Date
delete
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBrorholt, Asger Horn; Hoeg-Petersen, Andreas Holck; Jensen, Peter Gjol; Larsen, Kim Guldstrand; Mikucionis, Marius; Schilling, Christian; Wasowski, Andrzej
deleteShare
deleteSave
Reachability and Mortality for Two-Dimensional RHPCD Systems Are co-NP-hard
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTveretina, Olga
deleteShare
deleteSave
Counterexample-Guided Abstraction Refinement for Star-Based Neural Network Verification
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAntal, Laszlo; Link, Franz; Abraham, Erika
deleteShare
deleteSave
DTMC Model Checking by Path Abstraction Revisited
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHartmanns, Arnd; Modderman, Robert
deleteShare
deleteSave
Maximum Path Sets in Trees
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSubramani, A.; Subramani, K.; Restanio, Jacob
deleteShare
deleteSave
Weighing Obese Timed Languages
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAsarin, Eugene; Degorre, Aldric; Dima, Catalin; Inclan, Bernardo Jacobo
deleteShare
deleteSave
Word Chain Generators for Prefix Normal Words
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAdamson, Duncan; Dudey, Moritz; Fleischmann, Pamela; Huch, Annika
deleteShare
deleteSave
Compositional Verification of Almost-Sure Buchi Objectives in MDPs
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deletevan der Vegt, Marck; Watanabe, Kazuki; Hasuo, Ichiro; Junges, Sebastian
deleteShare
deleteSave
Galois Energy Games to Solve All Kinds of Quantitative Reachability Problems
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLemke, Caroline; Bisping, Benjamin
deleteShare
deleteSave
When You Have a Fuzzer, Everything Looks LikeaReachabilityProblem
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDonaldson, Alastair F.; Cadar, Cristian; Carrasco, Manuel; Iorga, Dan; Liew, Daniel; Wickerson, John
deleteShare
deleteSave
Membership and Conjugacy in Inverse Semigroups
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFleischer, Lukas; Stober, Florian; Thumm, Alexander; Weiss, Armin
deleteShare
deleteSave
Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRandour, Mickael
deleteShare
deleteSave
Nets-Within-Nets Through the Lens of Data Nets
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDi Cosmos, Francesco; Mal, Soumodev; Prince, Tephilla
deleteShare
deleteSave
Box-Reachability in Vector Addition Systems
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAlmagor, Shaull; Hasson, Itay; Pilipczuk, Michal; Zaslavski, Michael
deleteShare
deleteSave
The Ultimate Signs of Second -Order Holonomic Sequences
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHagihara, Fugen; Kawamura, Akitoshi
deleteShare
deleteSave
The Role of Logic and Automata in Understanding Transformers
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLin, Anthony W.; Barcelo, Pablo
deleteShare
deleteSave
Word Equations with Length Constraints via Weak Arithmetics and Matrix Reachability Problems
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDay, Joel D.; Konefal, Matthew
deleteShare
deleteSave
Knowing-How Reasoning with Budgets Recasted: Universal Reachability Problem on VASS
deleteREACHABILITY PROBLEMS, RP 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDemri, Stephane; Doyen, Laurent; Fervari, Raul
deleteShare
deleteSave