Automated Reasoning
8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Page
%P
57 Result(s)
within
Ashish Tiwari
Computer Science
English
-
Article
Folded ensemble deep learning based text generation on the brain signal
The text generation technique employs the transformation of the word document from the source to the targeted document based on the sequence to sequence generation. Video captioning, language identification, i...
-
Chapter
AI Meets SDN: A Survey of Artificial Intelligent Techniques Applied to Software-Defined Networks
Due to the rising use of smart gadgets such as smartphones, smart watches, smart cars etc., data exchange over the Internet has surged exponentially in recent day [1]. Further, the recent advances in the netwo...
-
Chapter and Conference Paper
AB-net: Adult- Baby Net
The problem of estimating and classifying age from a given input im- age is age old. With the advancement of modern technology and recent progress in the field of deep learning it has been made possible to gai...
-
Chapter and Conference Paper
DeepPS2: Revisiting Photometric Stereo Using Two Differently Illuminated Images
Estimating 3D surface normals through photometric stereo has been of great interest in computer vision research. Despite the success of existing traditional and deep learning-based methods, it is still challen...
-
Chapter and Conference Paper
Towards Drone Flocking Using Relative Distance Measurements
We introduce a method to form and maintain a flock of drones only based on relative distance measurements. This means our approach is able to work in GPS-denied environments. It is fully distributed and theref...
-
Chapter and Conference Paper
Output Range Analysis for Deep Feedforward Neural Networks
Given a neural network (NN) and a set of possible inputs to the network described by polyhedral constraints, we aim to compute a safe over-approximation of the set of possible output values. This operation is ...
-
Chapter and Conference Paper
TeLEx: Passive STL Learning Using Only Positive Examples
We propose a novel passive learning approach, TeLEx, to infer signal temporal logic formulas that characterize the behavior of a dynamical system using only observed signal traces of the system. The approach requ...
-
Chapter and Conference Paper
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
We introduce ARES, an efficient approximation algorithm for generating optimal plans (action sequences) that take an initial state of a Markov Decision Process (MDP) to a state whose cost is below a specified ...
-
Chapter and Conference Paper
Attacking the V: On the Resiliency of Adaptive-Horizon MPC
Inspired by the emerging problem of CPS security, we introduce the concept of controller-attacker games. A controller-attacker game is a two-player stochastic game, where the two players, a controller and an atta...
-
Chapter and Conference Paper
Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis
We introduce a technique for component-based program synthesis that relies on searching for a target program and its proof of correctness simultaneously using a purely constraint-based approach, rather than ex...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Time-Aware Abstractions in HybridSal
HybridSal is a tool for enabling verification of hybrid systems using infinite bounded model checking and k-induction. The core component of the tool is an abstraction engine that automatically creates a discr...
-
Chapter and Conference Paper
Gamifying Program Analysis
Abstract interpretation is a powerful tool in program verification. Several commercial or industrial scale implementations of abstract interpretation have demonstrated that this approach can verify safety prop...
-
Chapter and Conference Paper
Program Synthesis Using Dual Interpretation
We present an approach for component-based program synthesis that uses two distinct interpretations for the symbols in the program. The first interpretation defines the semantics of the program. It is used to ...
-
Chapter and Conference Paper
Severity Levels of Inconsistent Code
Inconsistent code detection is a variant of static analysis that detects statements that never occur on feasible executions. This includes code whose execution ultimately must lead to an error, faulty error ha...
-
Chapter and Conference Paper
A Nonlinear Real Arithmetic Fragment
We present a new procedure for testing satisfiability (over the reals) of a conjunction of polynomial equations. There are three possible return values for our procedure: it either returns a model for the input f...
-
Chapter and Conference Paper
A Synthesized Algorithm for Interactive Consistency
We revisit the interactive consistency problem introduced by Pease, Shostak and Lamport. We first show that their algorithm does not achieve interactive consistency if faults are transient, even if faults are ...
-
Chapter and Conference Paper
Synthesis for Polynomial Lasso Programs
We present a method for the synthesis of polynomial lasso programs. These programs consist of a program stem, a set of transitions, and an exit condition, all in the form of algebraic assertions (conjunctions ...
-
Article
Non-Linear Rewrite Closure and Weak Normalization
A rewrite closure is an extension of a term rewrite system with new rules, usually deduced by transitivity. Rewrite closures have the nice property that all rewrite derivations can be transformed into derivati...
-
Chapter and Conference Paper
HybridSAL Relational Abstracter
This paper describes the HybridSAL relational abstracter – a tool for verifying continuous and hybrid dynamical systems. The input to the tool is a model of a hybrid dynamical system and a safety property. The...
