-
Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation (Technical Report)
We propose several heuristics for mitigating one of the main causes of c...
10/19/2021 ∙ by Vojtech Havlena, et al. ∙
0
∙
share
read it
-
Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report)
This paper provides several optimizations of the rank-based approach for...
10/15/2020 ∙ by Vojtech Havlena, et al. ∙
0
∙
share
read it
-
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report)
We propose an efficient algorithm for determinising counting automata (C...
10/04/2019 ∙ by Lukas Holik, et al. ∙
0
∙
share
read it
-
Automata Terms in a Lazy WSkS Decision Procedure (Technical Report)
We propose a lazy decision procedure for the logic WSkS. It builds a ter...
05/21/2019 ∙ by Vojtech Havlena, et al. ∙
0
∙
share
read it
-
Simulations in Rank-Based Büchi Automata Complementation
The long search for an optimal complementation construction for Büchi au...
05/17/2019 ∙ by Yu-Fang Chen, et al. ∙
0
∙
share
read it
-
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata
Deep packet inspection via regular expression (RE) matching is a crucial...
04/24/2019 ∙ by Milan Ceska, et al. ∙
0
∙
share
read it
-
Simulation Algorithms for Symbolic Automata (Technical Report)
We investigate means of efficient computation of the simulation relation...
07/23/2018 ∙ by Lukas Holik, et al. ∙
0
∙
share
read it
-
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report)
We consider the problem of automatically verifying that a parameterized ...
10/30/2017 ∙ by Ondrej Lengal, et al. ∙
0
∙
share
read it
-
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection (Technical Report)
We consider the problem of approximate reduction of non-deterministic au...
10/24/2017 ∙ by Milan Ceska, et al. ∙
0
∙
share
read it
-
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection
We consider the problem of approximate reduction of non-deterministic au...
10/24/2017 ∙ by Milan Ceska, et al. ∙
0
∙
share
read it
