C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach.
Xi Zheng
Aloysius K. Mok
Ruzica Piskac
Yong Jae Lee
Bhaskar Krishnamachari
Dakai Zhu
Oleg Sokolsky
Insup Lee
Published in:
CoRR (2023)
Keyphrases
</>
language model
n gram
real time
language modeling
information retrieval
probabilistic model
supervised learning
statistical language models
query processing
information retrieval systems
test collection
retrieval model