30 results on '"Doron Peled"'
Search Results
2. TP-DejaVu: Combining Operational and Declarative Runtime Verification.
3. End-to-End AI Generated Runtime Verification from Natural Language Specification.
4. Monitorability for Runtime Verification.
5. Runtime Verification Prediction for Traces with Data.
6. Accelerating Black Box Testing with Light-Weight Learning.
7. Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.
8. Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning.
9. Formal Specification for Learning-Enabled Autonomous Systems.
10. A Reinforcement-Learning Style Algorithm for Black Box Automata.
11. A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle.
12. Monitoring First-Order Interval Logic.
13. Reverse Engineering Through Automata Learning.
14. Synthesizing Control for a System with Black Box Environment, Based on Deep Learning.
15. BDDs for Representing Data in Runtime Verification.
16. First-Order Timed Runtime Verification Using BDDs.
17. Control Synthesis Through Deep Learning.
18. An Extension of LTL with Rules and Its Application to Runtime Verification.
19. BDDs on the Run.
20. Chasing Errors Using Biasing Automata.
21. Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability.
22. Runtime Verification: From Propositional to First-Order Temporal Logic.
23. Efficient Runtime Verification of First-Order Temporal Properties.
24. Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking.
25. Memory-Efficient Tactics for Randomized LTL Model Checking.
26. First order temporal logic monitoring with BDDs.
27. Automatic Synthesis of Code Using Genetic Programming.
28. Using Genetic Programming for Software Reliability.
29. DejaVu: A Monitoring Tool for First-Order Temporal Logic.
30. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.