Toward Assured Autonomy Using Neurosymbolic Components and Systems (bibtex)

by Abhishek Dubey, Taylor T. Johnson, Xenofon Koutsoukos, Baiting Luo, Diego Manzanas Lopez, Miklos Maroti, Ayan Mukhopadhyay, Nicholas Potteiger, Serena Serbinowska, Daniel Stojcsics, Yunuo Zhang and Gabor Karsai

View PDF

Reference:

Abhishek Dubey, Taylor T. Johnson, Xenofon Koutsoukos, Baiting Luo, Diego Manzanas Lopez, Miklos Maroti, Ayan Mukhopadhyay, Nicholas Potteiger, Serena Serbinowska, Daniel Stojcsics, Yunuo Zhang and Gabor Karsai, "Toward Assured Autonomy Using Neurosymbolic Components and Systems", Chapter in Neurosymbolic AI (Wiley book, edited by G. Karsai et al.), Chapter 4, Wiley, pp. 89–118, 2026.

Bibtex Entry:

@incollection{dubey2026neurosymbolic,
  title = {Toward Assured Autonomy Using Neurosymbolic Components and Systems},
  author = {Abhishek Dubey and Taylor T. Johnson and Xenofon Koutsoukos and Baiting Luo and Diego Manzanas Lopez and Miklos Maroti and Ayan Mukhopadhyay and Nicholas Potteiger and Serena Serbinowska and Daniel Stojcsics and Yunuo Zhang and Gabor Karsai},
  year = {2026},
  booktitle = {Neurosymbolic AI (Wiley book, edited by G. Karsai et al.), Chapter 4},
  pages = {89--118},
  publisher = {Wiley},
  doi = {10.1002/9781394302406.ch04},
  url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/9781394302406.ch04},
  keywords = {neurosymbolic, assured autonomy, cyber-physical systems, formal verification, DARPA ANSR},
  publabel = {BC4},
  pubtype = {BC},
}