Miroslav Pajic -

Not registered as user

Name:Miroslav Pajic

Country:United States

Affiliation:Duke University

Personal website: http://people.duke.edu/~mp275/

Contributions

2025

ESEC/FSE

Author of NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS within the Ideas, Visions and Reflections-track

2019

HSB

Committee Member in Program Committee within the HSB-track

TACAS

Author of LCV: A Verification Tool for Linear Controller Software within the TACAS 2019-track