26 citations · 80 across the 14 of their papers we have counts for
4 papers · 1 filter
EC-KitY: Evolutionary Computation Tool Kit in Python with Seamless Machine Learning Integration
Moshe Sipper, Tomer Halperin, Itai Tzruia +1
EC-KitY is a comprehensive Python library for doing evolutionary computation (EC), licensed under the BSD 3-Clause License, and compatible with scikit-learn. Designed with modern s…
What Petri Net Obliges Us to Say: Comparing Approaches for Behavior Composition
Achiya Elyasaf, Tom Yaacov, Gera Weiss
We identify and demonstrate a weakness of Petri Nets (PN) in specifying composite behavior of reactive systems. Specifically, we show how, when specifying multiple requirements in…
Scenario-Assisted Deep Reinforcement Learning
Raz Yerushalmi, Guy Amir, Achiya Elyasaf +3
Deep reinforcement learning has proven remarkably useful in training agents from unstructured data. However, the opacity of the produced agents makes it difficult to ensure that th…
Generalized Coverage Criteria for Combinatorial Sequence Testing
Achiya Elyasaf, Eitan Farchi, Oded Margalit +2
We present a new model-based approach for testing systems that use sequences of actions and assertions as test vectors. Our solution includes a method for quantifying testing quali…