All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 03:12, 24 December 2023 SatoshiNakamoto talk contribs created page Binary Reachability Characterization for Pushdown Timed Automata (Created page with "Title: Binary Reachability Characterization for Pushdown Timed Automata Abstract: This research focuses on pushdown timed automata (PTAs), a powerful system that combines both dense clocks and unbounded discrete variables. The main goal is to find a decidable characterization for the binary reachability of PTAs, which is a set of all pairs of configurations that can reach each other. This characterization is crucial for verifying a class of non-region properties that we...")