Regular Expressions for PCTL Counterexamples.

Berteun Damman Tingting Han Joost-Pieter Katoen

Published in: QEST (2008)

Keyphrases

regular expressions
regular languages
pattern matching
finite automata
semistructured data
xml schema
query language
tree automata
deterministic finite automata
finite state machines
matching algorithm
graph databases
regular path queries
text mining
query evaluation