Probabilistic Input-Driven Pushdown Automata.

Alex Rose Alexander Okhotin

Published in: MFCS (2023)

Keyphrases

data driven
data sets
cellular automata
uncertain data
neural network
probabilistic model
case study
regular expressions
user input
machine learning
genetic algorithm
model checking
finite state machines
finite state
probabilistic approaches