Semantic Scholar Open Access 2025 2 sitasi

The Power of Reframing: Using LLMs in Synthesizing RV Monitors

Itay Cohen Klaus Havelund Doron A. Peled Yoav Goldberg

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (4)

Itay Cohen

Klaus Havelund

Doron A. Peled

Yoav Goldberg

Format Sitasi

APA MLA BibTeX

Cohen, I., Havelund, K., Peled, D.A., Goldberg, Y. (2025). The Power of Reframing: Using LLMs in Synthesizing RV Monitors. https://doi.org/10.1007/978-3-032-05435-7_12

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1007/978-3-032-05435-7_12

Informasi Jurnal

Tahun Terbit: 2025
Bahasa: en
Total Sitasi: 2×
Sumber Database: Semantic Scholar
DOI: 10.1007/978-3-032-05435-7_12
Akses: Open Access ✓