Login / Signup
Aviran Sadon
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 8
Top Topics
Constraint Solvers
Composite Events
Pac Man
Card Game
Top Venues
MED
MoDELS (Workshops)
CoRR
CoDIT
</>
Publications
</>
Joshua Shay Kricheli
,
Aviran Sadon
,
Shai A. Arogeti
,
Shimon Regev
,
Gera Weiss
Composition of Dynamic Control Objectives Based on Differential Games.
MED
(2021)
Aviran Sadon
,
Shai A. Arogeti
,
Gera Weiss
Patience Control: A Modular and Dynamic Construction of Composite Controllers.
CoDIT
(2020)
David Harel
,
Guy Katz
,
Assaf Marron
,
Aviran Sadon
,
Gera Weiss
Executing Scenario-Based Specification with Dynamic Generation of Rich Events.
MODELSWARD (Revised Selected Papers)
(2019)
Achiya Elyasaf
,
Aviran Sadon
,
Gera Weiss
,
Tom Yaacov
Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game.
MoDELS (Companion)
(2019)
Guy Katz
,
Assaf Marron
,
Aviran Sadon
,
Gera Weiss
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers.
MODELSWARD
(2019)
Guy Katz
,
Assaf Marron
,
Aviran Sadon
,
Gera Weiss
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers.
CoRR
(2019)
Aviran Sadon
,
Daniel Choukroun
Mean Square Stabilizability of Hidden Jump Linear Periodic Systems.
MED
(2019)
Joel Greenyer
,
Michael Bar-Sinai
,
Gera Weiss
,
Aviran Sadon
,
Assaf Marron
Modeling and programming a leader-follower challenge problem with scenario-based tools.
MoDELS (Workshops)
(2018)