![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
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
no matches
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 1,212 matches
- 2024
- Christian Abou-Mrad
, Houssam Abbas
:
Approximating the Geometry of Temporal Logic Formulas. HSCC 2024: 16:1-16:10 - Rajab Aghamov
, Christel Baier
, Toghrul Karimov
, Joël Ouaknine
, Jakob Piribauer
:
Linear dynamical systems with continuous weight functions. HSCC 2024: 22:1-22:11 - Omid Akbarzadeh
, Abolfazl Lavaei
:
Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks. HSCC 2024: 29:1-29:2 - Ashwani Anand
, Anne-Kathrin Schmuck
, Satya Prakash Nayak
:
Contract-Based Distributed Logical Controller Synthesis. HSCC 2024: 11:1-11:11 - Stanley Bak
, Sergiy Bogomolov
, Abdelrahman Hekal
, Niklas Kochdumper
, Ethan Lew
, Andrew Mata
, Amir Rahmati
:
Falsification using Reachability of Surrogate Koopman Models. HSCC 2024: 27:1-27:13 - Severin Bals
, Alexandros Evangelidis
, Jan Kretínský
, Jakob Waibel
:
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. HSCC 2024: 24:1-24:7 - Severin Bals
, Alexandros Evangelidis
, Jan Kretínský
, Jakob Waibel
:
Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. HSCC 2024: 33:1-33:2 - Guillaume O. Berger
, Masoumeh Ghanbarpour
, Sriram Sankaranarayanan
:
Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis. HSCC 2024: 12:1-12:16 - Guillaume O. Berger
, Monal Narasimhamurthy
, Sriram Sankaranarayanan
:
Algorithms for Identifying Flagged and Guarded Linear Systems. HSCC 2024: 15:1-15:13 - Julien Calbert
, Sébastien M. Mattenet
, Antoine Girard
, Raphaël M. Jungers
:
Memoryless concretization relation. HSCC 2024: 14:1-14:9 - Ratnangshu Das
, Pushpak Jagtap
:
Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱. HSCC 2024: 28:1-28:2 - Alec Edwards
, Andrea Peruffo
, Alessandro Abate
:
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. HSCC 2024: 26:1-26:10 - Carlos A. Montenegro G.
, Santiago J. Leudo
, Ricardo G. Sanfelice
:
A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems. HSCC 2024: 4:1-4:10 - Yulong Gao
, Karl Henrik Johansson
, Alessandro Abate
:
CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations. HSCC 2024: 20:1-20:12 - Bassem Ghorbel
, Vinayak S. Prabhu
:
Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic. HSCC 2024: 17:1-17:12 - Eric Goubault
, Sylvie Putot
:
Inner and outer approximate quantifier elimination for general reachability problems. HSCC 2024: 8:1-8:11 - Xiao Guo
, Jianhua Zhao
, Lei Bu
:
Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters. HSCC 2024: 3:1-3:12 - Hui Jiang
, Jianling Fu
, Ming Xu
, Yuxin Deng
, Zhi-Bin Li
:
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. HSCC 2024: 18:1-18:12 - Chaomin Jin
, Xiaoxuan Ma
, Tianxiang Ren
, Wang Lin
, Zuohua Ding
:
Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning. HSCC 2024: 13:1-13:10 - Ruya Karagulle
, Necmiye Ozay
, Nikos Aréchiga
, Jonathan A. DeCastro
, Andrew Best
:
Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles. HSCC 2024: 5:1-5:11 - Abolfazl Lavaei
:
Abstraction-based Synthesis of Stochastic Hybrid Systems. HSCC 2024: 19:1-19:11 - Jun Liu
, Yiming Meng
, Maxwell Fitzsimmons
, Ruikun Zhou
:
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. HSCC 2024: 25:1-25:8 - Jun Liu
, Yiming Meng
, Maxwell Fitzsimmons
, Ruikun Zhou
:
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. HSCC 2024: 32:1-32:2 - Sayan Mitra
:
Data-driven Verification of Autonomous Systems: Reachability, Entropy, and Contracts. HSCC 2024: 1:1 - Vishnu Murali
, Ashutosh Trivedi
, Majid Zamani
:
Closure Certificates. HSCC 2024: 10:1-10:11 - Ameneh Nejati
, Satya Prakash Nayak
, Anne-Kathrin Schmuck
:
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. HSCC 2024: 21:1-21:12 - Swantje Plambeck
, Aaron Bracht
, Nemanja Hranisavljevic
, Görschwin Fey
:
FaMoS- Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees. HSCC 2024: 7:1-7:10 - Sebastian Schirmer
, Jasdeep Singh
, Emily Jensen
, Johann C. Dauer
, Bernd Finkbeiner
, Sriram Sankaranarayanan
:
Temporal Behavior Trees: Robustness and Segmentation. HSCC 2024: 9:1-9:14 - Sebastian Schirmer
, Jasdeep Singh
, Emily Jensen
, Johann C. Dauer
, Bernd Finkbeiner
, Sriram Sankaranarayanan
:
Temporal Behavior Trees - Segmentation. HSCC 2024: 31:1-31:2 - Hyungbo Shim
, Daniel Liberzon
:
Further results on stability of linear systems with slow and fast time variation and switching. HSCC 2024: 2:1-2:7
skipping 1,182 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.org/img/cog.dark.24x24.png)
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-07-09 16:28 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