Keyword:Metamodeling

Publications
A Case for Extensional Non-Wellfounded Metamodeling Joseph Zalewski and Pascal Hitzler In:LPAR 2024 Complementary Volume
Efficient Stimuli Generation Using Reinforcement Learning in Design Verification Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz and Sebastian Simon EasyChair Preprint 13423