#COINS2026 - presentation of our paper "Towards Reliable LLM-Assisted Verification Artifact Generation in EDA" at the IEEE International Conference on Omni-Layer Intelligent Systems ( #COINS ); paper available #online agra.informatik.uni-bremen.de/doc/konf/COI... @unibremen.bsky.social #verification

#COINS2026 - presentation of our paper "Finding a Needle in a Haystack: Scenario Coverage Verification for Single-UAV Missions Using SMT" at IEEE International Conference on Omni-Layer Intelligent Systems ( #COINS ); paper available #online agra.informatik.uni-bremen.de/doc/konf/COI...