Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas (Q334220): Difference between revisions

@@ Property / describes a project that uses @@
+SPOT
@@ Property / describes a project that uses: SPOT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MuACOsm
@@ Property / describes a project that uses: MuACOsm / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+irace
@@ Property / describes a project that uses: irace / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic graph schemes and transition graphs: Their application in software realization of logical control algorithms. II
+Normal rank
@@ Property / cites work @@
+Complexity of automaton identification from given data
+Normal rank
@@ Property / cites work @@
+Exact DFA Identification Using SAT Solvers
@@ Property / cites work: Exact DFA Identification Using SAT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Manipulating LTL Formulas Using Spot 1.0
@@ Property / cites work: Manipulating LTL Formulas Using Spot 1.0 / rank @@
+Normal rank
@@ Property / cites work @@
+A hybrid TP+PLS algorithm for bi-objective flow-shop scheduling problems
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0005117916030097
+Normal rank
@@ Property / OpenAlex ID @@
+W2317988951
@@ Property / OpenAlex ID: W2317988951 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:334220