229 results on '"Patrick Lincoln"'
Search Results
2. Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting.
3. Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving.
4. Formal Methods at Scale.
5. Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes.
6. Data Efficient Learning of Robust Control Policies.
7. bRIGHT - Workstations of the Future and Leveraging Contextual Models.
8. ARSENAL: Automatic Requirements Specification Extraction from Natural Language.
9. Two Decades of Maude.
10. A search-based procedure for nonlinear real arithmetic.
11. Safety envelope for security.
12. A Nonlinear Real Arithmetic Fragment.
13. Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models.
14. Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks.
15. Neuroscience Meets Cryptography: Designing Crypto Primitives Secure Against Rubber Hose Attacks.
16. Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.
17. Trusted Neural Networks for Safety-Constrained Autonomous Control.
18. Unification and Narrowing in Maude 2.4.
19. Analyzing Pathways Using SAT-Based Approaches.
20. Specifying Parameterized Data Structures in Maude.
21. Metaprogramming Applications.
22. Introduction.
23. Complete List of Maude Commands.
24. Core Maude Grammar.
25. Full Maude: Extending Core Maude.
26. Object-Oriented Modules.
27. System Modules.
28. User Interfaces and Metalanguage Applications.
29. Mobile Maude.
30. A Sampler of Application Areas.
31. Object-Based Programming.
32. Debugging and Troubleshooting.
33. Using Maude.
34. Model Checking Invariants Through Search.
35. Some Tools.
36. A Hierarchy of Data Types: From Trees to Sets.
37. Reflection, Metalevel Computation, and Strategies.
38. Syntax and Basic Parsing.
39. Module Operations.
40. LTL Model Checking.
41. Predefined Data Modules.
42. Functional Modules.
43. Playing with Maude.
44. The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways.
45. Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks.
46. Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
47. Privacy-Preserving Sharing and Correlation of Security Alerts.
48. Neuroscience meets cryptography: crypto primitives secure against rubber hose attacks.
49. Certifying and Synthesizing Membership Equational Proofs.
50. Epidemic profiles and defense of scale-free networks.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.