13 results on '"Doron Peled"'
Search Results
2. TP-DejaVu: Combining Operational and Declarative Runtime Verification.
3. A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle.
4. End-to-End AI Generated Runtime Verification from Natural Language Specification.
5. Monitorability for Runtime Verification.
6. Runtime Verification Prediction for Traces with Data.
7. Accelerating Black Box Testing with Light-Weight Learning.
8. Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.
9. Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning.
10. Formal Specification for Learning-Enabled Autonomous Systems.
11. A Reinforcement-Learning Style Algorithm for Black Box Automata.
12. A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle.
13. On monitoring linear temporal properties.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.