Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
synthesis
Papers
Parameter Synthesis for Probabilistic Hyperproperties
Erika Ábrahám
,
Ezio Bartocci
,
Borzoo Bonakdarpour
and
Oyendrila Dobe
In
:
LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Synthesis/Programming of Hopfield Associative Memory
Rama Murthy Garimella
,
Krishna Vamshi Reddy Lankala
,
Devaki Nimmagadda
and
Sree Divya Bondalapati
EasyChair Preprint no. 1913
Montmorillonite Impregnated with Bismuth Nitrate: A mild and efficient reagent for the synthesis of gem-dinitro compounds from oximes
Rajasekhar Koorella
,
Raatalu Nayudu
and
Ramkoti Gugulothu
EasyChair Preprint no. 1966
Synthesis of the management strategy of the ship power plant for the combined propulsion complex
Vitalii Budashko
and
Valerii Shevchenko
EasyChair Preprint no. 1753
Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis
Jan Bessai
,
Moritz Roidl
and
Anna Vasileva
EasyChair Preprint no. 1541
Challenges for Fast Synthesis Procedures in SMT
Andrew Reynolds
In
:
ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
SMT-Based CPS Parameter Synthesis
Heinz Riener
,
Robert Koenighofer
,
Goerschwin Fey
and
Roderick Bloem
In
:
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis
Scott Livingston
and
Vasumathi Raman
In
:
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems
Dalibor Drzajic
,
Nikolaos Kariotoglou
,
Maryam Kamgarpour
and
John Lygeros
In
:
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications
Alexandre Donzé
and
Vasumathi Raman
In
:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Copyright © 2012-2021 easychair.org. All rights reserved.