default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 124 matches
- 2024
- Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-driven verification and synthesis of stochastic systems via barrier certificates. Autom. 159: 111323 (2024) - Nayreet Islam, Akramul Azim:
A multi-mode real-time system verification model using efficient event-driven dataset. J. Ambient Intell. Humaniz. Comput. 15(2): 1187-1200 (2024) - Yuxin Liu, Ning Xi, Ruidong Han, Yuanzhao Li, Jian Feng Ma, Yulong Shen:
Action-Driven UAV Fingerprint Verification with Perception Data. ACISP (3) 2024: 303-322 - Oliver Schön, Zhengang Zhong, Sadegh Soudjani:
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings. ACC 2024: 3417-3423 - Ali Aminzadeh, Abdalla Swikir, Sami Haddadin, Abolfazl Lavaei:
Compositional Safety Verification of Infinite Networks: A Data-Driven Approach. ECC 2024: 545-551 - Rudi Coppola, Andrea Peruffo, Lars Lindemann, Manuel Mazo Jr.:
Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions. ECC 2024: 558-563 - Sayan Mitra:
Data-driven Verification of Autonomous Systems: Reachability, Entropy, and Contracts. HSCC 2024: 1:1 - Xuyang Zhang, Ziyang Feng, Quecheng Qiu, Yu'an Chen, Bei Hua, Jianmin Ji:
NaviFormer: A Data-Driven Robot Navigation Approach via Sequence Modeling and Path Planning with Safety Verification. ICRA 2024: 14756-14762 - Eunhyek Joa, Eric Yongkeun Choi, Francesco Borrelli:
Eco-driving under localization uncertainty for connected vehicles on Urban roads: Data-driven approach and Experiment verification. IV 2024: 2904-2909 - Amy K. Strong, Leila Jasmine Bridgeman:
Data driven verification of positive invariant sets for discrete, nonlinear systems. L4DC 2024: 1477-1488 - Eunhyek Joa, Eric Yongkeun Choi, Francesco Borrelli:
Eco-driving under localization uncertainty for connected vehicles on Urban roads: Data-driven approach and Experiment verification. CoRR abs/2402.01059 (2024) - Farbod Faraji, Maryam Reza, Aaron Knoll, J. Nathan Kutz:
Data-driven local operator finding for reduced-order modelling of plasma systems: I. Concept and verifications. CoRR abs/2403.01523 (2024) - Oliver Schön, Zhengang Zhong, Sadegh Soudjani:
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings. CoRR abs/2403.10497 (2024) - Jennifer T. Bui, Dominic Groß:
Input-Output Specifications of Grid-Forming Functions and Data-Driven Verification Methods. CoRR abs/2404.15951 (2024) - Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani:
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification. CoRR abs/2407.21029 (2024) - Clemens Otte, Yinchong Yang, Danny Benlin Oswan:
Data-driven Verification of DNNs for Object Recognition. CoRR abs/2408.00783 (2024) - 2023
- Ameneh Nejati:
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques. Technical University of Munich, Germany, 2023 - Suwon Lee:
A Generative Verification Framework on Statistical Stability for Data-Driven Controllers. IEEE Access 11: 5267-5280 (2023) - Zhi-Chang Qin, Ying Xin:
Data-driven H∞ vibration control design and verification for an active suspension system with unknown pseudo-drift dynamics. Commun. Nonlinear Sci. Numer. Simul. 125: 107397 (2023) - Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.:
Data-Driven Abstractions for Verification of Linear Systems. IEEE Control. Syst. Lett. 7: 2737-2742 (2023) - Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli:
A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems. IEEE Trans. Autom. Control. 68(12): 7240-7253 (2023) - Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. IEEE Trans. Autom. Control. 68(5): 3011-3024 (2023) - Yue Zhuo, Zhiqiang Ge:
Adversarial Security Verification of Data-Driven FDC Systems. IEEE Trans. Reliab. 72(4): 1580-1593 (2023) - Vishnu Murali, Shadi Tasdighi Kalat, Majid Zamani:
A Data-Driven Approach to Approximate Opacity Verification. CDC 2023: 5085-5090 - Tábitha Esteves Rosa, Bayu Jayawardhana:
Data-driven dissipative verification of LTI systems: multiple shots of data, QDF supply-rate and application to a planar manipulator. CoRR abs/2301.01512 (2023) - Vivek Ramavajjala, Peetak P. Mitra:
Verification against in-situ observations for Data-Driven Weather Prediction. CoRR abs/2305.00048 (2023) - An Ngo, MinhPhuong Cao, Rajesh Kumar:
Deep Generative Attacks and Countermeasures for Data-Driven Offline Signature Verification. CoRR abs/2312.00987 (2023) - Thomas Waite, Alexander Robey, Hamed Hassani, George J. Pappas, Radoslav Ivanov:
Data-Driven Modeling and Verification of Perception-Based Autonomous Systems. CoRR abs/2312.06848 (2023) - 2022
- Navid Noroozi, Ali Salamati, Majid Zamani:
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach. IEEE Control. Syst. Lett. 6: 2210-2215 (2022) - Nan Xu, Ehsan Hashemi, Zepeng Tang, Amir Khajepour:
Data-Driven Tire Capacity Estimation With Experimental Verification. IEEE Trans. Intell. Transp. Syst. 23(11): 21569-21581 (2022)
skipping 94 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-03 04:25 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint