What You Need to Know Before
You Start
Starts 7 June 2025 20:23
Ends 7 June 2025
00
days
00
hours
00
minutes
00
seconds
33 minutes
Optional upgrade avallable
Not Specified
Progress at your own speed
Free Video
Optional upgrade avallable
Overview
Explore the journey toward verifiable autonomy in AI agents with Zheng Leong Chua from Automata Network in this ETHTaipei 2025 presentation.
Syllabus
- Introduction to Verifiable Autonomy
- Technical Foundations
- AI Agent Architectures
- Ensuring Safety and Reliability
- Ethical and Regulatory Considerations
- Tools and Techniques for Verification
- Developing and Deploying Verifiable AI Agents
- The Future of Verifiable AI
- Conclusion and Q&A
Overview of AI Autonomy
Importance of Verifiability in AI
Key Challenges in Achieving Verifiable Autonomy
Basics of Machine Learning and AI Frameworks
Ensuring Robustness in AI Models
Formal Methods in AI Verification
Agent-Based Modeling and Simulation
Architectures Supporting Autonomy
Verification Methods for Different Architectures
Safety Assurance Techniques
Testing and Validation Protocols
Case Studies of Safe and Reliable AI Systems
Ethical Implications of Autonomous AI
Current Regulatory Landscapes
Future Directions for AI Regulation
Automated Verification Tools
Model Checking for AI Systems
Simulation and Testing Environments
Best Practices for Development
Deployment Strategies for Autonomous AI
Monitoring and Update Mechanisms
Emerging Trends and Technologies
Blueprint for Future Research
Impact on Industry and Society
Summary of Key Learning Points
Discussion and Open Questions
Interactive Q&A Session with Zheng Leong Chua
Subjects
Computer Science
