videolectures.net/authors/siddharth_srivastava

Preview meta tags from the videolectures.net website.

Linked Hostnames

5

Thumbnail

Search Engine Appearance

Google

https://videolectures.net/authors/siddharth_srivastava

Siddharth Srivastava

I am a post-doctoral research associate at the Department of Computer Science at University of Massachusetts, Amherst. My research involves using mathematical logic and abstraction techniques from model checking for synthesis and learning of algorithmic generalized plans with formal guarantees of correctness. To learn more about my research, follow the links on the left or visit the website on Generalized Planning.



Bing

Siddharth Srivastava

https://videolectures.net/authors/siddharth_srivastava

I am a post-doctoral research associate at the Department of Computer Science at University of Massachusetts, Amherst. My research involves using mathematical logic and abstraction techniques from model checking for synthesis and learning of algorithmic generalized plans with formal guarantees of correctness. To learn more about my research, follow the links on the left or visit the website on Generalized Planning.



DuckDuckGo

https://videolectures.net/authors/siddharth_srivastava

Siddharth Srivastava

I am a post-doctoral research associate at the Department of Computer Science at University of Massachusetts, Amherst. My research involves using mathematical logic and abstraction techniques from model checking for synthesis and learning of algorithmic generalized plans with formal guarantees of correctness. To learn more about my research, follow the links on the left or visit the website on Generalized Planning.

  • General Meta Tags

    5
    • title
      Siddharth Srivastava
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1
    • description
      I am a post-doctoral research associate at the Department of Computer Science at University of Massachusetts, Amherst. My research involves using mathematical logic and abstraction techniques from model checking for synthesis and learning of algorithmic generalized plans with formal guarantees of correctness. To learn more about my research, follow the links on the left or visit the website on Generalized Planning.
    • robots
      index,follow

  • Open Graph Meta Tags

    5
    • og:title
      Siddharth Srivastava
    • og:description
      I am a post-doctoral research associate at the Department of Computer Science at University of Massachusetts, Amherst. My research involves using mathematical logic and abstraction techniques from model checking for synthesis and learning of algorithmic generalized plans with formal guarantees of correctness. To learn more about my research, follow the links on the left or visit the website on Generalized Planning.
    • og:image
      https://videolectures.net/assets/logo_big.png
    • og:url
      https://videolectures.net/authors/siddharth_srivastava
    • og:type
      website

  • Twitter Meta Tags

    4
    • twitter:title
      Siddharth Srivastava
    • twitter:description
      I am a post-doctoral research associate at the Department of Computer Science at University of Massachusetts, Amherst. My research involves using mathematical logic and abstraction techniques from model checking for synthesis and learning of algorithmic generalized plans with formal guarantees of correctness. To learn more about my research, follow the links on the left or visit the website on Generalized Planning.
    • twitter:image
      https://videolectures.net/assets/logo_big.png
    • twitter:card
      summary_large_image

  • Link Tags

    19
    • icon
      ./assets/favicon.ico
    • modulepreload
      chunk-HRIFR6VR.js
    • modulepreload
      chunk-2QULEVUM.js
    • modulepreload
      chunk-BL4TTXX3.js
    • modulepreload
      chunk-4RYQESEZ.js

Links

13