[PDF][PDF] Formally verifying deep reinforcement learning controllers with lyapunov barrier certificates

U Mandal, G Amir, H Wu, I Daukantas… - # …, 2024 - library.oapen.org
Deep reinforcement learning (DRL) is a powerful machine learning paradigm for generating
agents that control autonomous systems. However, the “black box” nature of DRL agents …

Enhancing deep reinforcement learning with scenario-based modeling

R Yerushalmi, G Amir, A Elyasaf, D Harel, G Katz… - SN computer …, 2023 - Springer
Deep reinforcement learning agents have achieved unprecedented results when learning to
generalize from unstructured data. However, the “black-box” nature of the trained DRL …

Can we prevent a technological arms race in university student cheating?

J Mortati, E Carmel - Computer, 2021 - ieeexplore.ieee.org
Can We Prevent a Technological Arms Race in University Student Cheating? Page 1 90
COMPUTER PUBLISHED BY THE IEEE COMPUTER SOCIETY 0018-9162/21©2021IEEE …

[HTML][HTML] ScenarioTools–A tool suite for the scenario-based modeling and analysis of reactive systems

J Greenyer, D Gritzner, T Gutjahr, F König… - Science of Computer …, 2017 - Elsevier
ScenarioTools is an Eclipse-based tool suite for the scenario-based modeling and analysis
of reactive systems. ScenarioTools especially targets the modeling and analysis of systems …

Scenario-assisted deep reinforcement learning

R Yerushalmi, G Amir, A Elyasaf, D Harel… - arxiv preprint arxiv …, 2022 - arxiv.org
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 …

On augmenting scenario-based modeling with generative AI

D Harel, G Katz, A Marron, S Szekely - arxiv preprint arxiv:2401.02245, 2024 - arxiv.org
The manual modeling of complex systems is a daunting task; and although a plethora of
methods exist that mitigate this issue, the problem remains very difficult. Recent advances in …

On-the-fly construction of composite events in scenario-based modeling using constraint solvers

G Katz, A Marron, A Sadon, G Weiss - arxiv preprint arxiv:1909.00408, 2019 - arxiv.org
Scenario-Based Programming is a methodology for modeling and constructing complex
reactive systems from simple, stand-alone building blocks, called scenarios. These …

Problems of scenario modeling of the transport complex

SA Savushkin - … of large-scale system development"(MLSD), 2020 - ieeexplore.ieee.org
The article describes a calculation model for the development of the transport complex in the
diversified structure of the Russian economy. The model is a set of variables describing the …

Synthesizing executable PLC code for robots from scenario-based GR (1) specifications

D Gritzner, J Greenyer - … Workshops, Marburg, Germany, July 17-21, 2017 …, 2018 - Springer
Robots are found in most, if not all, modern production facilities and they increasingly enter
other domains, eg, health care. Robots participate in complex processes and often need to …

[PDF][PDF] Scenario-Based Modeling and Programming of Distributed Systems.

J Greenyer - PNSE@ Petri Nets, 2021 - academia.edu
Software systems become increasingly distributed and interconnected. Single functions are
usually realized by the interaction of multiple components, while single components …