Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification (English)
- New search for: Henzinger, Monika
- New search for: Raskin, Jean-François
- New search for: Chatterjee, Krishnendu
- New search for: Doyen, Laurent
- Further information on Doyen, Laurent:
- https://orcid.org/https://orcid.org/0000-0003-3714-6145
- New search for: Majumdar, Rupak
- Further information on Majumdar, Rupak:
- https://orcid.org/https://orcid.org/0000-0003-2136-0542
- New search for: Henzinger, Monika
In:
Principles of Systems Design
: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
;
Chapter: 14
;
292-305
;
2022
- Article/Chapter (Book) / Electronic Resource
-
Title:Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification
-
Additional title:Lect.Notes Computer
-
Contributors:Raskin, Jean-François ( editor ) / Chatterjee, Krishnendu ( editor ) / Doyen, Laurent ( editor ) / Majumdar, Rupak ( editor ) / Henzinger, Monika ( author )
-
Published in:Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday ; Chapter: 14 ; 292-305Lecture Notes in Computer Science ; 13660 ; 292-305
-
Publisher:
- New search for: Springer Nature Switzerland
-
Place of publication:Cham
-
Publication date:2022-12-29
-
Size:14 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
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
-
From Hybrid Automata to DAE-Based ModelingBenveniste, Albert / Caillaud, Benoît / Malandain, Mathias et al. | 2022
- 2
-
What’s Decidable About Discrete Linear Dynamical Systems?Karimov, Toghrul / Kelmendi, Edon / Ouaknine, Joël / Worrell, James et al. | 2022
- 3
-
Symbolic Analysis of Linear Hybrid Automata – 25 Years LaterFrehse, Goran / Giacobbe, Mirco / Zaffanella, Enea et al. | 2022
- 4
-
An Architecture for Safe Driving AutomationKopetz, Hermann et al. | 2022
- 5
-
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic FrameworkBozga, Marius / Sifakis, Joseph et al. | 2022
- 6
-
On Specifications and Proofs of Timed CircuitsFügger, Matthias / Lenzen, Christoph / Schmid, Ulrich et al. | 2022
- 7
-
Asynchronous Correspondences Between Hybrid Trajectory SemanticsCousot, Patrick et al. | 2022
- 8
-
Generalizing Logical Execution TimeLee, Edward A. / Lohstroh, Marten et al. | 2022
- 9
-
Towards a Grand Unification of Büchi Complementation ConstructionsVardi, Moshe Y. / Fogarty, Seth / Li, Yong / Tsay, Yih-Kuen et al. | 2022
- 10
-
A Simple Rewrite System for the Normalization of Linear Temporal LogicEsparza, Javier / Rubio, Rubén / Sickert, Salomon et al. | 2022
- 11
-
A Survey on Satisfiability Checking for the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu $$\end{document}-Calculus Through Tree AutomataHausmann, Daniel / Piterman, Nir et al. | 2022
- 12
-
Universal Algorithms for Parity Games and Nested FixpointsJurdziński, Marcin / Morvan, Rémi / Thejaswini, K. S. et al. | 2022
- 13
-
Simulation Relations and Applications in Formal MethodsLarsen, Kim G. / Schilling, Christian / Srba, Jiří et al. | 2022
- 14
-
Fine-Grained Complexity Lower Bounds for Problems in Computer Aided VerificationHenzinger, Monika et al. | 2022
- 15
-
Getting Saturated with InductionHajdu, Márton / Hozzová, Petra / Kovács, Laura / Reger, Giles / Voronkov, Andrei et al. | 2022
- 16
-
On Probabilistic MonitorabilityAceto, Luca / Achilleos, Antonis / Anastasiadi, Elli / Francalanza, Adrian / Ingólfsdóttir, Anna / Lehtinen, Karoliina / Pedersen, Mathias Ruggaard et al. | 2022
- 17
-
On the Foundations of Cycles in Bayesian NetworksBaier, Christel / Dubslaff, Clemens / Hermanns, Holger / Käfer, Nikolai et al. | 2022
- 18
-
Satisfiability of Quantitative Probabilistic CTL: Rise to the ChallengeChodil, Miroslav / Kučera, Antonín / Křetínský, Jan et al. | 2022
- 19
-
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic GamesKwiatkowska, Marta / Norman, Gethin / Parker, David / Santos, Gabriel et al. | 2022
- 20
-
Parameter Synthesis in Markov Models: A Gentle SurveyJansen, Nils / Junges, Sebastian / Katoen, Joost-Pieter et al. | 2022
- 21
-
Convex Lattice Equation SystemsBacci, Giorgio / Bacci, Giovanni / Jensen, Mathias Claus / Larsen, Kim G. et al. | 2022
- 22
-
Variance Reduction in Stochastic Reaction Networks Using Control VariatesBackenköhler, Michael / Bortolussi, Luca / Wolf, Verena et al. | 2022
- 23
-
From Interface Automata to HypercontractsIncer, Inigo / Benveniste, Albert / Sangiovanni-Vincentelli, Alberto / Seshia, Sanjit A. et al. | 2022
- 24
-
Consistency and Persistency in Program Verification: Challenges and OpportunitiesAbdulla, Parosh Aziz / Atig, Mohamed Faouzi / Bouajjani, Ahmed / Jonsson, Bengt / Kumar, K. Narayan / Saivasan, Prakash et al. | 2022
- 25
-
Automated Program Repair Using Formal Verification TechniquesFrenkel, Hadar / Grumberg, Orna / Rothenberg, Bat-Chen / Sheinvald, Sarai et al. | 2022
- 26
-
Embedded Domain Specific VerifiersJhala, Ranjit et al. | 2022
- 27
-
Software Model Checking: 20 Years and BeyondBeyer, Dirk / Podelski, Andreas et al. | 2022
- 28
-
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network VerificationLin, Vivian / Ivanov, Radoslav / Weimer, James / Sokolsky, Oleg / Lee, Insup et al. | 2022
- 29
-
A Framework for Transforming Specifications in Reinforcement LearningAlur, Rajeev / Bansal, Suguman / Bastani, Osbert / Jothimurugan, Kishor et al. | 2022
- 30
-
Robustness Analysis of Continuous-Depth Models with Lagrangian TechniquesNeubauer, Sophie A. / Grosu, Radu et al. | 2022
- 31
-
Correct-by-Construction Runtime Enforcement in AI – A SurveyKönighofer, Bettina / Bloem, Roderick / Ehlers, Rüdiger / Pek, Christian et al. | 2022