ARTICLE
|
doi:10.20944/preprints202010.0288.v1
Subject:
Computer Science And Mathematics,
Algebra And Number Theory
Keywords:
Fuzzy Adaptive Particle Swarm Optimization; Graph Transformation System; Model Checking; Reachability Property; State Space Explosion
Online: 14 October 2020 (08:21:28 CEST)
ARTICLE
|
doi:10.20944/preprints202010.0303.v1
Subject:
Computer Science And Mathematics,
Algebra And Number Theory
Keywords:
fuzzy genetic algorithm; reachability property; deadlock; model checking
Online: 14 October 2020 (10:58:37 CEST)
ARTICLE
|
doi:10.20944/preprints202312.2333.v3
Subject:
Computer Science And Mathematics,
Computational Mathematics
Keywords:
optimal control; reachability set; inverse problem
Online: 22 January 2024 (05:43:41 CET)
ARTICLE
|
doi:10.20944/preprints202407.2374.v1
Subject:
Engineering,
Industrial And Manufacturing Engineering
Keywords:
Cutting problem; packing problem; Petri net; reachability tree; beam search
Online: 30 July 2024 (07:25:19 CEST)