Membership-Based Synthesis of Linear Hybrid Automata (English)
Free access
- New search for: García Soto, Miriam
- Further information on García Soto, Miriam:
- https://orcid.org/http://orcid.org/0000-0003-2936-5719
- New search for: Henzinger, Thomas A.
- Further information on Henzinger, Thomas A.:
- https://orcid.org/http://orcid.org/0000-0002-2985-7724
- New search for: Schilling, Christian
- Further information on Schilling, Christian:
- https://orcid.org/http://orcid.org/0000-0003-3658-1065
- New search for: Zeleznik, Luka
- New search for: Dillig, Isil
- New search for: Tasiran, Serdar
- New search for: García Soto, Miriam
- Further information on García Soto, Miriam:
- https://orcid.org/http://orcid.org/0000-0003-2936-5719
- New search for: Henzinger, Thomas A.
- Further information on Henzinger, Thomas A.:
- https://orcid.org/http://orcid.org/0000-0002-2985-7724
- New search for: Schilling, Christian
- Further information on Schilling, Christian:
- https://orcid.org/http://orcid.org/0000-0003-3658-1065
- New search for: Zeleznik, Luka
In:
Computer Aided Verification
: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
;
Chapter: 16
;
297-314
;
2019
- Article/Chapter (Book) / Electronic Resource
-
Title:Membership-Based Synthesis of Linear Hybrid Automata
-
Additional title:Lect.Notes Computer
-
Contributors:Dillig, Isil ( editor ) / Tasiran, Serdar ( editor ) / García Soto, Miriam ( author ) / Henzinger, Thomas A. ( author ) / Schilling, Christian ( author ) / Zeleznik, Luka ( author )
-
Conference:International Conference on Computer Aided Verification ; 2019 ; New York City, NY, USA
-
Published in:Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I ; Chapter: 16 ; 297-314Lecture Notes in Computer Science ; 11561 ; 297-314
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2019-07-12
-
Size:18 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Licence:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Symbolic Register AutomataD’Antoni, Loris / Ferreira, Tiago / Sammartino, Matteo / Silva, Alexandra et al. | 2019
- 2
-
Abstraction Refinement Algorithms for Timed AutomataRoussanaly, Victor / Sankur, Ocan / Markey, Nicolas et al. | 2019
- 3
-
Fast Algorithms for Handling Diagonal Constraints in Timed AutomataGastin, Paul / Mukherjee, Sayan / Srivathsan, B. et al. | 2019
- 4
-
Safety and Co-safety Comparator Automata for Discounted-Sum InclusionBansal, Suguman / Vardi, Moshe Y. et al. | 2019
- 5
-
Clock Bound Repair for Timed SystemsKölbl, Martin / Leue, Stefan / Wies, Thomas et al. | 2019
- 6
-
Verifying Asynchronous Interactions via Communicating Session AutomataLange, Julien / Yoshida, Nobuko et al. | 2019
- 7
-
Verifying HyperlivenessCoenen, Norine / Finkbeiner, Bernd / Sánchez, César / Tentrup, Leander et al. | 2019
- 8
-
Quantitative Mitigation of Timing Side ChannelsTizpaz-Niari, Saeid / Černý, Pavol / Trivedi, Ashutosh et al. | 2019
- 9
-
Property Directed Self CompositionShemer, Ron / Gurfinkel, Arie / Shoham, Sharon / Vizel, Yakir et al. | 2019
- 10
-
Security-Aware Synthesis Using Delayed-Action GamesElfar, Mahmoud / Wang, Yu / Pajic, Miroslav et al. | 2019
- 11
-
Automated Hypersafety VerificationFarzan, Azadeh / Vandikas, Anthony et al. | 2019
- 12
-
Automated Synthesis of Secure Platform MappingsKang, Eunsuk / Lafortune, Stéphane / Tripakis, Stavros et al. | 2019
- 13
-
Synthesizing Approximate Implementations for Unrealizable SpecificationsDimitrova, Rayna / Finkbeiner, Bernd / Torfah, Hazem et al. | 2019
- 14
-
Quantified Invariants via Syntax-Guided SynthesisFedyukovich, Grigory / Prabhu, Sumanth / Madhukar, Kumar / Gupta, Aarti et al. | 2019
- 15
-
Efficient Synthesis with Probabilistic ConstraintsDrews, Samuel / Albarghouthi, Aws / D’Antoni, Loris et al. | 2019
- 16
-
Membership-Based Synthesis of Linear Hybrid AutomataGarcía Soto, Miriam / Henzinger, Thomas A. / Schilling, Christian / Zeleznik, Luka et al. | 2019
- 17
-
Overfitting in Synthesis: Theory and PracticePadhi, Saswat / Millstein, Todd / Nori, Aditya / Sharma, Rahul et al. | 2019
- 18
-
Proving Unrealizability for Syntax-Guided SynthesisHu, Qinheping / Breck, Jason / Cyphert, John / D’Antoni, Loris / Reps, Thomas et al. | 2019
- 19
-
BMC for Weak Memory Models: Relation Analysis for Compact SMT EncodingsGavrilenko, Natalia / Ponce-de-León, Hernán / Furbach, Florian / Heljanko, Keijo / Meyer, Roland et al. | 2019
- 20
-
When Human Intuition Fails: Using Formal Methods to Find an Error in the “Proof” of a Multi-agent ProtocolDavis, Jennifer A. / Humphrey, Laura R. / Kingston, Derek B. et al. | 2019
- 21
-
Extending nuXmv with Timed Transition Systems and Timed Temporal PropertiesCimatti, Alessandro / Griggio, Alberto / Magnago, Enrico / Roveri, Marco / Tonetta, Stefano et al. | 2019
- 22
-
Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential CLau, Stella / Gomes, Victor B. F. / Memarian, Kayvan / Pichon-Pharabod, Jean / Sewell, Peter et al. | 2019
- 23
-
Multi-armed Bandits for Boolean Connectives in Hybrid System FalsificationZhang, Zhenya / Hasuo, Ichiro / Arcaini, Paolo et al. | 2019
- 24
-
StreamLAB: Stream-based Monitoring of Cyber-Physical SystemsFaymonville, Peter / Finkbeiner, Bernd / Schledjewski, Malte / Schwenger, Maximilian / Stenger, Marvin / Tentrup, Leander / Torfah, Hazem et al. | 2019
- 25
-
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based SystemsDreossi, Tommaso / Fremont, Daniel J. / Ghosh, Shromona / Kim, Edward / Ravanbakhsh, Hadi / Vazquez-Chanlatte, Marcell / Seshia, Sanjit A. et al. | 2019
- 26
-
The Marabou Framework for Verification and Analysis of Deep Neural NetworksKatz, Guy / Huang, Derek A. / Ibeling, Duligur / Julian, Kyle / Lazarus, Christopher / Lim, Rachel / Shah, Parth / Thakoor, Shantanu / Wu, Haoze / Zeljić, Aleksandar et al. | 2019
- 27
-
Probabilistic Bisimulation for Parameterized SystemsHong, Chih-Duo / Lin, Anthony W. / Majumdar, Rupak / Rümmer, Philipp et al. | 2019
- 28
-
Semi-quantitative Abstraction and Analysis of Chemical Reaction NetworksČeška, Milan / Křetínský, Jan et al. | 2019
- 29
-
PAC Statistical Model Checking for Markov Decision Processes and Stochastic GamesAshok, Pranav / Křetínský, Jan / Weininger, Maximilian et al. | 2019
- 30
-
Symbolic Monitoring Against Specifications Parametric in Time and DataWaga, Masaki / André, Étienne / Hasuo, Ichiro et al. | 2019
- 31
-
STAMINA: STochastic Approximate Model-Checker for INfinite-State AnalysisNeupane, Thakur / Myers, Chris J. / Madsen, Curtis / Zheng, Hao / Zhang, Zhen et al. | 2019
- 32
-
Local and Compositional Reasoning for Optimized Reactive SystemsJain, Mitesh / Manolios, Panagiotis et al. | 2019
- 33
-
Robust Controller Synthesis in Timed Büchi Automata: A Symbolic ApproachBusatto-Gaston, Damien / Monmege, Benjamin / Reynier, Pierre-Alain / Sankur, Ocan et al. | 2019
- 34
-
Flexible Computational Pipelines for Robust Abstraction-Based Control SynthesisKim, Eric S. / Arcak, Murat / Seshia, Sanjit A. et al. | 2019
- 35
-
Temporal Stream Logic: Synthesis Beyond the BoolsFinkbeiner, Bernd / Klein, Felix / Piskac, Ruzica / Santolucito, Mark et al. | 2019
- 36
-
Run-Time Optimization for Learned Controllers Through Quantitative GamesAvni, Guy / Bloem, Roderick / Chatterjee, Krishnendu / Henzinger, Thomas A. / Könighofer, Bettina / Pranger, Stefan et al. | 2019
- 37
-
Taming Delays in Dynamical SystemsFeng, Shenghua / Chen, Mingshuai / Zhan, Naijun / Fränzle, Martin / Xue, Bai et al. | 2019