ENTITY
Deterministic Register Automata
Deterministic Register Automata
PulseAugur coverage of Deterministic Register Automata — every cluster mentioning Deterministic Register Automata across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New framework synthesizes and verifies register automata for data sequences
Researchers have developed a new framework for synthesizing and verifying Deterministic Register Automata (DRAs) over data sequences. These DRAs are capable of expressing properties that depend on value comparisons acro…
-
New framework simplifies learning of register automata over ordered data domains
Researchers have developed a unified framework for actively learning deterministic register automata (DRAs) over ordered data domains, including both dense and non-dense sets like rationals and integers. This new proced…