Остановите войну!
for scientists:
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 31 matches
- 2023
- Arvind Adimoolam, Indranil Saha, Thao Dang:
Safe Self-Triggered Control Based on Precomputed Reachability Sequences. HSCC 2023: 7:1-7:12 - Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck:
Poster Abstract: Permissiveness for Strategy Adaptation. HSCC 2023: 29:1-29:2 - Benoît Barbot, Nicolas Basset, Alexandre Donzé:
Wordgen : a Timed word Generation Tool. HSCC 2023: 16:1-16:7 - Francesca Cairoli, Nicola Paoletti, Luca Bortolussi:
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. HSCC 2023: 1:1-1:11 - Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile:
Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic. HSCC 2023: 3:1-3:12 - Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos:
Stealthy attacks formalized as STL formulas for Falsification of CPS Security. HSCC 2023: 15:1-15:8 - Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin:
An STL-based Approach to Resilient Control for Cyber-Physical Systems. HSCC 2023: 2:1-2:12 - Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, Jian Xiang:
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. HSCC 2023: 20:1-20:12 - Spandan Das, Pavithra Prabhakar:
Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. HSCC 2023: 21:1-21:2 - Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers:
Characterization of the ordering of path-complete stability certificates with addition-closed templates. HSCC 2023: 8:1-8:10 - Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti:
Interval Markov Decision Processes with Continuous Action-Spaces. HSCC 2023: 12:1-12:10 - Lucas Neves Egidio, Satya Prakash Nayak, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers:
Poster Abstract: Towards Seamless Reactivity of Hybrid Control. HSCC 2023: 27:1-27:2 - Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry:
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. HSCC 2023: 19:1-19:11 - Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid:
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. HSCC 2023: 10:1-10:11 - Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.:
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. HSCC 2023: 11:1-11:10 - Qi Heng Ho, Roland B. Ilyes, Zachary Sunberg, Morteza Lahijanian:
Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. HSCC 2023: 25:1-25:2 - Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert:
SySCoRe: Synthesis via Stochastic Coupling Relations. HSCC 2023: 13:1-13:11 - Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay:
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles. HSCC 2023: 24:1-24:2 - Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos:
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator. HSCC 2023: 30:1-30:2 - Tobias Ladner, Matthias Althoff:
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis. HSCC 2023: 18:1-18:13 - Ertai Luo, Niklas Kochdumper, Stanley Bak:
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes. HSCC 2023: 17:1-17:12 - Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani:
Poster Abstract: A Toolchain for Accelerated Symbolic Control. HSCC 2023: 28:1-28:2 - Akshay Mambakam, Eugene Asarin, Nicolas Basset, Thao Dang:
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions. HSCC 2023: 14:1-14:13 - Andrea Peruffo, Manuel Mazo Jr.:
Poster: Convex Scenario Optimisation for ReLU Networks. HSCC 2023: 26:1-26:2 - Daphna Raz, Liren Yang, Brian R. Umberger, Necmiye Ozay:
Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand. HSCC 2023: 23:1-23:2 - Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱. HSCC 2023: 22:1-22:2 - Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov:
Quantitative Verification for Neural Networks using ProbStars. HSCC 2023: 4:1-4:12 - Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov:
Verification of Recurrent Neural Networks with Star Reachability. HSCC 2023: 6:1-6:13 - Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff:
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions. HSCC 2023: 5:1-5:12 - Mehrdad Zareian, Anne-Kathrin Schmuck:
Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. HSCC 2023: 9:1-9:7
skipping 1 more match
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-06-06 07:55 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