The Curious Engineer

All blogs / AI / ML

The Foretellix CTO Blog

blog.foretellix.com

Now focusing on AI safety (autonomy-related posts go to the company blog)

AI / MLTesting / QA

’15’16’17’18’19’20’21’22’23’24’25’26
Posts
79 from 3 Jul 2015 to 14 Aug 2026
Posting
now and then (4 in the last year)
Kind
personal blog
Feed
https://blog.foretellix.com/feed/

2026 4

  1. V&V takes on “Pacing the frontier”
  2. V&V takes on OpenAI’s long-horizon incidents
  3. When is misalignment just a bug?
  4. Coverage-driven alignment – What ‘Teaching Claude Why’ can borrow from AV verification

2025 3

  1. The V&V method – A step towards safer AGI
  2. Changing the focus of this blog to AI safety
  3. AI, Autonomy, V&V and abstractions

2021 3

  1. About “The coming AI hackers” paper
  2. ADS residual risk – some related research
  3. Estimating the residual risk of ADAS / AV

2020 3

  1. GPT-3 and verification
  2. Autonomy markets and their potential bugs
  3. A short update about M-SDL

2019 4

  1. M-SDL, the autonomous vehicles verification language, is now open
  2. AV coverage and performance metrics
  3. Misc. stuff: ASAM, DeepMind, Tesla and more
  4. Don’t stay in Monte Carlo (for AV verification)

2018 6

  1. Bridging AV verification and AV regulation
  2. Misc stuff: A Michigan conference, and some overviews
  3. Stuttgart impressions: Scenarios and problems
  4. What I have been doing lately
  5. The Uber accident and the bigger picture
  6. How to write AV scenarios (and some notes about Pegasus)

2017 17

  1. Verifying how AVs behave during accidents
  2. On Mobileye’s formal model of AV safety
  3. Using program induction for verification
  4. AV verification updates: Waymo, Apple and more
  5. What’s new in AV verification: Stuttgart report part two
  6. Where Machine Learning meets rule-based verification
  7. Dynamic verification in one picture
  8. What’s new in AV verification: Report from the Stuttgart symposium
  9. DeepXplore and new ideas for verifying ML systems
  10. Topics in this blog
  11. One-shot imitation learning and verification
  12. Some papers about AV verification
  13. Misc stuff: Mobileye, simulations and test tracks
  14. Misc stuff: The Oscars bug
  15. Formal verification of really-complex systems
  16. Verifying interactions between AVs and people
  17. The “Synthetic Sensor Input” problem in AV verification

2016 20

  1. Verification, coverage and maximization: The big picture
  2. HVC’2016 trip report
  3. Misc stuff: The verification gap, ML training and more
  4. Verification implications of the new US AV policy
  5. Using Machine Learning to verify Machine Learning?
  6. Machine Learning for Coverage Maximization
  7. Machine Learning verification and Explainable AI
  8. About faults and bugs
  9. Checking probabilistic components
  10. Future of verification: Better ways to predict behavior
  11. The Tesla crash, Tsunamis and spec errors
  12. The ICRA 2016 verification workshop
  13. Misc stuff: Automation and unemployment
  14. Finding bugs in autonomous vehicles: My impressions from the second Stuttgart symposium
  15. Automation and unemployment are coming, but I guess we’ll manage
  16. The rise of mostly-autonomous systems
  17. Impressions from the robotics world
  18. What I have been doing lately
  19. Meanwhile, on the Autonomous Vehicles front
  20. The bigger picture of verifying autonomous robots

2015 19

  1. Misc stuff: Robotics, system simulations, AI
  2. HVC’2015 trip report
  3. Is a Universal Verification Framework possible?
  4. Misc. stuff: HVC, game design languages and more
  5. Verification challenges of autonomous systems
  6. Security research is pretty relevant for us
  7. Misc. stuff – HN, machine learning and Jupyter
  8. Terminology for multiple verification tribes
  9. The soup of systems
  10. It’s the spec bugs that kill you
  11. Terminology related to spec bugs
  12. Some good comments I got lately about requirements
  13. FV has much better PR than CDV
  14. On that “verification range” issue
  15. A breakfast discussion about simulations for transportation policy decision making
  16. Some feedback on my Stuttgart report
  17. Also from Stuttgart: Using simulation for public policy decision making
  18. My impressions from the Stuttgart Autonomous Vehicles Test & Development symposium
  19. Why this blog