| CARVIEW |
Select Language
HTTP/2 200
content-type: text/html;charset=UTF-8
date: Sat, 17 Jan 2026 02:07:06 GMT
x-frame-options: SAMEORIGIN
content-language: en
set-cookie: JSESSIONID=D0A4204801388E85D4FA6B283D2CE06D; Path=/; Secure; HttpOnly;HttpOnly;Secure
set-cookie: ERIGHTS=""; Domain=ieeexplore.ieee.org; Expires=Thu, 01-Jan-1970 00:00:10 GMT; Path=/;HttpOnly;Secure
set-cookie: ERIGHTS=""; Domain=ieeexplore.ieee.org; Expires=Thu, 01-Jan-1970 00:00:10 GMT; Path=/;HttpOnly;Secure
set-cookie: ERIGHTS=""; Domain=ieeexplore.ieee.org; Expires=Thu, 01-Jan-1970 00:00:10 GMT; Path=/;HttpOnly;Secure
set-cookie: AWSALBAPP-0=AAAAAAAAAAAvsJM7aKlnjAL/fGO9ji6v/AZhRzyhyyIR00HsJ4t8L8HRwoz+k8gyQg3AIZg/K357STL42To0kGLlthaQeDUb9HDd9AeGl11B9E5ZMIV7ldwMshJyT6XArjVXYDAvMx27J7uDceh4vVvmHzVeSZc8iH1nrshzp2xDNsB+vLepffuunHNpLYP3Gtcm014y7XV95/YzdYL4/w==; Expires=Sat, 24 Jan 2026 02:07:06 GMT; Path=/; Secure
set-cookie: AWSALBAPP-1=_remove_; Expires=Sat, 24 Jan 2026 02:07:06 GMT; Path=/; Secure
set-cookie: AWSALBAPP-2=_remove_; Expires=Sat, 24 Jan 2026 02:07:06 GMT; Path=/; Secure
set-cookie: AWSALBAPP-3=_remove_; Expires=Sat, 24 Jan 2026 02:07:06 GMT; Path=/; Secure
set-cookie: WLSESSION=2046980618.47873.0000; expires=Sun, 18-Jan-2026 02:07:06 GMT; path=/; Httponly; Secure
set-cookie: TS016349ac=01f15fc87cfd661ad7088f0b4e513c548426f2065ad909fda13e0ddd3a1fddc71a7baddc3705d36a62502a7174892532603b4029cc; Path=/; Domain=.ieeexplore.ieee.org
set-cookie: TSaf720a17029=0807dc117eab28009c60ebb5c9576bcec5bcc89eec1fbaaeaac59449245140d21234a1b8307a4252cfd25692c203213e; Max-Age=30; Path=/
set-cookie: TS8b476361027=0807dc117eab200069841c58abbd3fe766e58260895abbc075dfb50262c05b8462554e4a93e4046608f1dfa49b1130002045d2d8748ca6674b70138e55df513c0e8019caca64605f4079a38323e479ca978fb38e84673cf5edc0ac0494f7bf5e; Path=/
x-xss-protection: 1
content-security-policy: upgrade-insecure-requests
x-content-type-options: text/html; charset=UTF-8; nosniff
strict-transport-security: max-age=31536000; includeSubDomains
x-cache: Miss from cloudfront
via: 1.1 108d5a9e3ae4a6f7785254208da77608.cloudfront.net (CloudFront)
x-amz-cf-pop: BOM78-P4
x-amz-cf-id: LIwqW1ZXXRZkk1FhJH0WMxMxj9gbsqnBvgF76mKA9TFba8mkZI24pA==
Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement | IEEE Journals & Magazine | IEEE Xplore
IEEE Account
Purchase Details
Profile Information
Need Help?
- US & Canada: +1 800 678 4333
- Worldwide: +1 732 981 0060
- Contact & Support
- About IEEE Xplore
- Contact Us
- Help
- Accessibility
- Terms of Use
- Nondiscrimination Policy
- Sitemap
- Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
© Copyright 2026 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.