Search Results - "causality"
Suggested Topics within your search.
Suggested Topics within your search.
- Philosophy 31
- Medicine 24
- Philosophy: metaphysics & ontology 23
- Research & information: general 19
- Neurosciences 17
- History of engineering & technology 16
- Sociology 16
- Physics 15
- Biology, life sciences 13
- Humanities 13
- Psychology 13
- Social research & statistics 12
- Technology: general issues 12
- Society & social sciences 11
- Central government policies 10
- Computer science 10
- Information technology industries 10
- Artificial intelligence 9
- Politics & government 9
- Comparative politics 8
- Environmental economics 8
- History 8
- Human geography 8
- Pharmacology 8
- Public administration 8
- Artificial Intelligence 7
- Development economics & emerging economies 7
- Political science & theory 7
- Applied ecology 6
- Development studies 6
-
2001
-
2002
-
2003
-
2004
-
2005
-
2006
-
2007
-
2008
-
2009
-
2010
-
2011
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata
Electronic eBook -
2012
-
2013
-
2014
-
2015
-
2016
-
2017
-
2018
-
2019
-
2020