close
 Booz Allen Fall 2023
chevron_right

Booz Allen: Pavithra Prabhakar

file_download
Retry
undo
redo
Apply
Revert
settings
share
equalizer
exit_to_app
Help arrow_drop_down
Contact support
301.405.1500
support@panopto.com
Privacy contact:
umd-privacy@umd.edu Privacy policy
Caption Request Form How To Use Panopto UMD Panopto Terms of Use UMD Website UMD Web Accessibility Best Practices for Panopto Security Online Documentation
Send Logs
Sign in
To get the full Panopto viewing experience, please install or enable:
Click to install
(It's a quick download. You'll be ready in just a moment.)

volume_up
cancel
search
search
Details
AI Evaluation
AI Summary
Contents
Captions
Audio Descriptions
Discussion
Notes
Bookmarks
Results
Attachments
Details
AI Summary
Contents
Captions
Audio Descriptions
Slides
Quizzes
Cuts
Streams
Open in advanced editor
Hide
Retry Cancel
Type a keyword and hit Enter to search
Retry Cancel
Booz Allen: Pavithra Prabhakar
person_outlineJustin Stacey
Retry Cancel
  • Retry Cancel
    Safety Analysis of AI -enabled Cyber-Physical Systems: A For…
    6:30
  • Retry Cancel
    A Formal Approach
    6:48
  • Retry Cancel
    Cyber-Physical SysLems
    12:03
  • Retry Cancel
    Safety Critical Systems
    13:06
  • Retry Cancel
    Model -lased design and analysis
    13:48
  • Retry Cancel
    Formal Verification
    15:24
  • Retry Cancel
    Verification of CPS: A brief introduction
    16:12
  • Retry Cancel
    Closed -loop SysLem: Modeling
    16:36
  • Retry Cancel
    Closed -loop System: Verification
    18:24
  • Retry Cancel
    Closed -loop System: Computing Reach Set
    19:18
  • Retry Cancel
    Safety Analysis for CPS
    20:57
  • Retry Cancel
    AI -enabled CPS
    21:45
  • Retry Cancel
    Learning based Components in CPS
    21:54
  • Retry Cancel
    Reachable Set Computation of a Neural Network
    24:33
  • Retry Cancel
    Neural Networks (NN)
    24:39
  • Retry Cancel
    Neural N e works Semantics
    25:18
  • Retry Cancel
    Given a neural network T, and a set of values I for the…
    27:18
  • Retry Cancel
    Related Work on Neural Network Verification
    28:00
  • Retry Cancel
    Constraint -solving based reachability analysis
    28:24
  • Retry Cancel
    MILP based encoding
    29:33
  • Retry Cancel
    Symbolic reachability analysis
    31:15
  • Retry Cancel
    • e = (c, V, P), center, basis vectors and predicate
    33:42
  • Retry Cancel
    Abstraction -based Verification
    38:09
  • Retry Cancel
    Interval Neural Network (INN)
    39:42
  • Retry Cancel
    Abstraction based Verification Framework
    41:00
  • Retry Cancel
    Correctness
    44:39
  • Retry Cancel
    MILP Encoding for INN
    45:33
  • Retry Cancel
    Encoding for I
    45:45
  • Retry Cancel
    Interval S tar-set based reachability analysis
    48:03
  • Retry Cancel
    Decomposition of INN
    51:33
  • Retry Cancel
    Remarks
    53:09
  • Retry Cancel
    Experimental Evaluation
    53:42
  • Retry Cancel
    Case Study
    53:51
  • Retry Cancel
    Evaluation
    55:15
  • Retry Cancel
    Bisimulations for Neural Network Reduction
    56:42
  • Retry Cancel
    Bisimulations
    56:57
  • Retry Cancel
    Bisim Lila Lion Algori Lhm
    58:51
  • Retry Cancel
    Approx NN
    59:12
  • Retry Cancel
    Counter-Example Guided Abstraction Refinement
    1:00:30
  • Retry Cancel
    Formal Analysis of AT -enabled CPS
    1:01:21
There was a problem loading these events Retry Cancel
Cancel file_download Help
See all your bookmarks Help
Retry Cancel
  • U
    UMD-Canvas\wcleavel
    5:39
    No video showing in the meeting room
    ·
    1y
  • U
    UMD-Canvas\wcleavel
    6:41
    Video showing now ....
    ·
    1y
  • U
    UMD-Canvas\wcleavel
    7:00
    Now no audio
    ·
    1y
  • U
    UMD-Canvas\wcleavel
    7:13
    Audio restored
    ·
    1y
  • U
    UMD-Canvas\wcleavel
    11:21
    Can't hear
    ·
    1y
Sign in to ask a question or share a comment
Key Points
No key points available
Key points are being processed and will appear here once available
Summary
No summary available
Summary is being processed and will appear here once available

|


Import audio descriptions
Upload audio descriptions
Maximum length reached
 Add a presentation
 Add a Quiz
No cuts
 Add Stream
0:00
-1:20:00
Live


Camera

Camera

Camera
keyboard_arrow_down
Preview
  1. 0:00
  2. 3:00
  3. 6:00
  4. 6:30
  5. 6:48
  6. 9:00
  7. 12:00
  8. 12:03
  9. 13:06
  10. 13:48
  11. 15:00
  12. 15:24
  13. 16:12
  14. 16:36
  15. 18:00
  16. 18:24
  17. 19:18
  18. 20:57
  19. 21:00
  20. 21:45
  21. 21:54
  22. 24:00
  23. 24:33
  24. 24:39
  25. 25:18
  26. 27:00
  27. 27:18
  28. 28:00
  29. 28:24
  30. 29:33
  31. 30:00
  32. 31:15
  33. 33:00
  34. 33:42
  35. 36:00
  36. 38:09
  37. 39:00
  38. 39:42
  39. 41:00
  40. 42:00
  41. 44:39
  42. 45:00
  43. 45:33
  44. 45:45
  45. 48:00
  46. 48:03
  47. 51:00
  48. 51:33
  49. 53:09
  50. 53:42
  51. 53:51
  52. 54:00
  53. 55:15
  54. 56:42
  55. 56:57
  56. 57:00
  57. 58:51
  58. 59:12
  59. 1:00:00
  60. 1:00:30
  61. 1:01:21
  62. 1:03:00
  63. 1:06:00
  64. 1:09:00
  65. 1:12:00
  66. 1:15:00
  67. 1:18:00
Auto-play is disabled in your web browser. Press play to start.
â–¼
Save
Cancel
Learn more
close
  • {binding Name, convert=displayModalPageName}