AI-Planning / AI-Planning/macq

Automata-based generation

Aperta
#131 3 commenti 0 reazioni 1 assegnatario Rivendicata da @haz Vedi su GitHub
generation-technique
Lingua principale
Python
Stelle
25
Fork
6
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

Given a DFA or NFA, generate traces that adhere to them (i.e., are accepting). Probably needs to exist as part of the PDDL generation, but utilities to check the automata against a trace can/should be generic.

Guida per i contributori

Apri la guida per i contributori

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.