Simon Iosti

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 4

Top Topics

Unsupervised Feature Learning

Top Venues

From Reactive Systems to Cyber-Physical Systems

Publications

Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. ISoLA (2) (2020)
Doron Peled, Simon Iosti, Saddek Bensalem
Control Synthesis Through Deep Learning. From Reactive Systems to Cyber-Physical Systems (2019)
Simon Iosti, Denis Kuperberg
Eventually Safe Languages. DLT (2019)
Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. ISoLA (3) (2018)