Partially Ordered Automata and Piecewise Testability.
Tomás MasopustMarkus KrötzschPublished in: CoRR (2019)
Keyphrases
- partially ordered
- partial order
- totally ordered
- cellular automata
- event calculus
- partial ordering
- probabilistic automata
- finite automata
- interval valued
- lattice gas
- test data generation
- linear model
- finite state machines
- piecewise linear
- finite state
- total order
- tree automata
- possibilistic logic
- regular expressions
- automata theoretic
- total ordering
- genetic algorithm
- parametric curves
- temporal logic
- data structure