( en | de | ru )

 

Disambiguation of "Peled, Doron"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning.

, , , , and . ISoLA (2), volume 12477 of Lecture Notes in Computer Science, page 457-472. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Doron Lahav

Yishai Peled

Doron Merkler

tefan Dorondel

Guy Doron

 

Other publications of authors with the same name

Synthesizing Control for a System with Black Box Environment, Based on Deep Learning., , , , and . ISoLA (2), volume 12477 of Lecture Notes in Computer Science, page 457-472. Springer, (2020)Synthesizing, correcting and improving code, using model checking-based genetic programming., and . Int. J. Softw. Tools Technol. Transf., 19 (4): 449-464 (2017)Chasing Errors Using Biasing Automata., , , and . ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 271-286. Springer, (2018)On monitoring linear temporal properties., and . Formal Methods Syst. Des., 60 (3): 405-425 (2022)A Reinforcement-Learning Style Algorithm for Black Box Automata., , and . MEMOCODE, page 1-11. IEEE, (2022)Wiley Encyclopedia of Computer Science and Engineering 6th Edition, , and . 3, chapter Model Checking, page 1904-1920. Benjamin W. Wah, NEW YORK – USA, (2009)Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability., and . Models, Mindsets, Meta, volume 11200 of Lecture Notes in Computer Science, page 218-234. Springer, (2018)Runtime Verification: From Propositional to First-Order Temporal Logic., and . RV, volume 11237 of Lecture Notes in Computer Science, page 90-112. Springer, (2018)Using Genetic Programming for Software Reliability.. RV, volume 10012 of Lecture Notes in Computer Science, page 116-131. Springer, (2016)TP-DejaVu: Combining Operational and Declarative Runtime Verification., , , , and . VMCAI (2), volume 14500 of Lecture Notes in Computer Science, page 249-263. Springer, (2024)