Simon Iosti

According to our database, Simon Iosti authored at least 4 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Synthesizing Control for a System with Black Box Environment, Based on Deep Learning.

Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019

Eventually Safe Languages.

Simon Iosti, Denis Kuperberg

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

Control Synthesis Through Deep Learning.

Doron Peled, Simon Iosti, Saddek Bensalem

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018

Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach.

Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018