Towards ILP-based LTLf passive learning
Inferring a LTL<sub>f</sub> formula from a set of example traces, also known as passive learning, is a challenging task for model-based techniques. Despite the combinatorial nature of the problem, current state-of-the-art solutions are based on exhaustive search. They use an example at t...
| Huvudupphovsmän: | , , , , , |
|---|---|
| Materialtyp: | Conference item |
| Språk: | English |
| Publicerad: |
Springer Nature
2023
|