Partially Ordered Automata and Piecewise Testability.
Tomás MasopustMarkus KrötzschPublished in: Log. Methods Comput. Sci. (2021)
Keyphrases
- partially ordered
- partial order
- finite automata
- totally ordered
- cellular automata
- partial ordering
- event calculus
- finite state machines
- regular expressions
- interval valued
- piecewise linear
- probabilistic automata
- linear model
- possibilistic logic
- total order
- neural network
- tree automata
- test data generation
- total ordering
- cubic spline interpolation