The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "HSCC"( http://dblp.L3S.de/Venues/HSCC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/hybrid

Publication years (Num. hits)
1998 (28) 1999 (24) 2000 (38) 2001 (42) 2002 (37) 2003 (39) 2004 (45) 2005 (44) 2006 (43) 2007 (87) 2008 (63) 2009 (41) 2010 (31) 2011 (37) 2012 (33) 2013 (42) 2014 (34) 2015 (46) 2016 (34) 2017 (31) 2018 (41) 2019 (42) 2020 (34) 2021 (36) 2022 (31)
Publication types (Num. hits)
inproceedings(979) proceedings(24)
Venues (Conferences, Journals, ...)
HSCC(1003)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 160 occurrences of 112 keywords

Results
Found 1003 publication records. Showing 1003 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mateus de Oliveira Oliveira, Olga Tveretina Mortality and Edge-to-Edge Reachability are Decidable on Surfaces. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Monal Narasimhamurthy, Sriram Sankaranarayanan 0001 Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Santiago Jimenez Leudo, Ricardo G. Sanfelice Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Qingye Zhao, Xin Chen 0027, Zhuoyu Zhao, Yifan Zhang 0005, Enyi Tang, Xuandong Li Verifying Neural Network Controlled Systems Using Neural Networks. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1James Ferlez, Haitham Khedr, Yasser Shoukry Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Georges Aazan, Antoine Girard, Paolo Mason, Luca Greco 0003 Stability of discrete-time switched linear systems with ω-regular switching sequences. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yong Kiam Tan, Stefan Mitsch, André Platzer Verifying Switched System Stability With Logic. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Aniruddh Gopinath Puranic, Jyotirmoy Deshmukh, Stefanos Nikolaidis Poster Abstract: Learning from Demonstrations with Temporal Logics. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Mohamed Maghenem, Adnane Saoud, Antonio Loría Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Mahathi Anand, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani k-Inductive Barrier Certificates for Stochastic Systems. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Kwesi Rutledge, Necmiye Ozay Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Houssam Abbas, Richard Pelphrey A Multiresolution Analysis of Temporal Logic. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Adam J. Thorpe, Meeko Oishi SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Monal Narasimhamurthy, Sriram Sankaranarayanan 0001 Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Abolfazl Lavaei, Luigi Di Lillo, Margherita Atzei, Andrea Censi, Emilio Frazzoli Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Anand Balakrishnan 0001, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Sylvie Putot (eds.) HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022 Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alexander Weber 0004, Elisei Macoveiciuc, Gunther Reissig ABS: A formally correct software tool for space-efficient symbolic synthesis. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Lars Lindemann, Alëna Rodionova, George J. Pappas Temporal Robustness of Stochastic Signals. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Bassem Ghorbel, Vinayak Prabhu Linear Time Monitoring for One Variable TPTL. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Arthur Clavière, Laura Altieri Sambartolomé, Eric Asselin, Christophe Garion, Claire Pagetti Verification of machine learning based cyber-physical systems: a comparative study. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson Multi-Requirement Testing Using Focused Falsification. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr. A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Arvind Adimoolam, Indranil Saha Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Santiago Jimenez Leudo, Ricardo G. Sanfelice Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yuanqi Mao, Behçet Açikmese, Pierre-Loïc Garoche, Alexandre Chapoutot Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Giannis Delimpaltadakis, Gabriel de Albuquerque Gleizer, Ivo van Straalen, Manuel Mazo Jr. ETCetera: beyond Event-Triggered Control. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Guy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck BOCoSy: Small but Powerful Symbolic Output-Feedback Control. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Qingye Zhao, Xin Chen 0027, Yifan Zhang 0005, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff Adaptive parameter tuning for reachability analysis of nonlinear systems. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Satya Prakash Nayak, Daniel Neider, Martin Zimmermann 0002 Adaptive strategies for rLTL games. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado Learning lyapunov functions for hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Weiming Xiang Interval observer design of dynamical systems with neural networks. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Rongxuan Gao, Aolong Zha, Shusuke Shigenaka, Masaki Onishi Hybrid modeling and predictive control of large-scale crowd movement in road network. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Gabriel de Albuquerque Gleizer, Manuel Mazo Jr. Computing the sampling performance of event-triggered control. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama Verifiably safe exploration for end-to-end reinforcement learning. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jingkai Chen, Brian C. Williams, Chuchu Fan Optimal mixed discrete-continuous planning for linear hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Aneel Tanwani Filtering over networks with random communication. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi 0001, Bardh Hoxha, Danil V. Prokhorov Reachability analysis of deep ReLU neural networks using facet-vertex incidence. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Hammad Ahmad, Jean-Baptiste Jeannin A program logic to verify signal temporal logic specifications of hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Guosong Yang, Daniel Liberzon, João P. Hespanha Topological entropy of switched nonlinear systems. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Eduard Kamburjan From post-conditions to post-region invariants: deductive verification of hybrid objects. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen 0027, Xuandong Li Approximate optimal hybrid control synthesis by classification-based derivative-free optimization. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mohan Dantam, Amaury Pouly On the decidability of reachability in continuous time linear time-invariant systems. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Franck Djeumou, Aditya Zutshi 0001, Ufuk Topcu On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa Stability analysis of complementarity systems with neural network controllers. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mahmoud Khaled, Majid Zamani OmegaThreads: symbolic controller design for ω-regular objectives. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Sergiy Bogomolov, Raphaël M. Jungers (eds.) HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021 Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Kwesi J. Rutledge, Glen Chou, Necmiye Ozay Compositional safety rules for inter-triggering hybrid automata. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat, Matthias Althoff AROC: a toolbox for automated reachset optimal controller synthesis. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani Formal safety verification of unknown continuous-time systems: a data-driven approach. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Syed M. Hassaan, Qiang Shen 0003, Sze Zheng Yong Path-dependent controller and estimator synthesis with robustness to delayed and missing data. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Rupak Majumdar, Sadegh Soudjani The computability of LQR and LQG control. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Miriam García Soto, Thomas A. Henzinger, Christian Schilling 0001 Synthesis of hybrid automata with affine dynamics from time-series data. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Gerrit Großmann, Michael Backenköhler, Verena Wolf Epidemic overdispersion strengthens the effectiveness of mobility restrictions. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian Strategy synthesis for partially-known switched stochastic systems. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Max H. Cohen, Calin Belta Model-based reinforcement learning for approximate optimal control with temporal logic specifications. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mahmoud Khaled, Majid Zamani OmegaThreads: symbolic controller design for ω-regular objectives. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Matthew Abate, Mark Mote, Eric Feron, Samuel Coogan 0001 Verification and runtime assurance for dynamical systems with uncertainty. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue 0001, Naijun Zhan Switching controller synthesis for delay hybrid systems under perturbations. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion A few lessons learned in reinforcement learning for quadcopter attitude control. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Guilherme Scabin Vicinansa, Daniel Liberzon Quantizer design for switched linear systems with minimal data-rate. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Aakash Abhishek, Harry Sood, Jean-Baptiste Jeannin Formal verification of braking while swerving in automobiles. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Daniel Jarne Ornia, Manuel Mazo Jr. Convergence of ant colony multi-agent swarms. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Kasra Ghasemi, Sadra Sadraddini, Calin Belta Compositional synthesis via a convex parameterization of assume-guarantee contracts. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice Sufficient conditions for satisfaction of formulas with until operators in hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Mohamed Maghenem, Ricardo G. Sanfelice Local lipschitzness of reachability maps for hybrid systems with applications to safety. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez A computable and compositional semantics for hybrid automata. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Masaki Waga Falsification of cyber-physical systems with robustness-guided black-box checking. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani dtControl: decision tree learning algorithms for controller representation. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Maben Rabi Piece-wise analytic trajectory computation for polytopic switching between stable affine systems. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Viktorio S. el Hakim, Marco Jan Gerrit Bekooij Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1James Ferlez, Yasser Shoukry AReN: assured ReLU NN architecture for model predictive control of LTI systems. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Sadra Sadraddini, Russ Tedrake Robust output feedback control with guaranteed constraint satisfaction. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani dtControl: decision tree learning algorithms for controller representation. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann 0002 From LTL to rLTL monitoring: improved monitorability through robust semantics. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Tzanis Anevlavis, Paulo Tabuada A simple hierarchy for computing controlled invariant sets. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Colin Shea-Blymyer, Houssam Abbas A deontic logic analysis of autonomous systems' safety. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé Interpretable classification of time-series data using efficient enumerative techniques. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani Symbolic controller synthesis for Büchi specifications on stochastic systems. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Benoît Caillaud, Mathias Malandain, Joan Thibault Implicit structural analysis of multimode DAE systems. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Aaron D. Ames, Sanjit A. Seshia, Jyotirmoy Deshmukh (eds.) HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020 Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Niklas Kochdumper, Bastian Schürmann, Matthias Althoff Utilizing dependencies to obtain subsets of reachable sets. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Necmiye Ozay Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Pushpak Jagtap, Abdalla Swikir, Majid Zamani Compositional construction of control barrier functions for interconnected control systems. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Anton V. Proskurnikov Does sample-time emulation preserve exponential stability? Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Niklas Kochdumper, Matthias Althoff Reachability analysis for hybrid systems with nonlinear guard sets. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Carina Pilch, Arnd Hartmanns, Anne Remke Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001 Synthesizing barrier certificates using neural networks. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck On abstraction-based controller design with output feedback. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Taisa Kushner, Sriram Sankaranarayanan 0001, Marc D. Breton Conformance verification for neural network models of glucose-insulin dynamics. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider Resilient abstraction-based controller design. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Mojtaba Zarei, Yu Wang 0044, Miroslav Pajic Statistical verification of learning-based cyber-physical systems. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee Case study: verifying the safety of an autonomous racing car with a neural network controller. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1003 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license