Filters








22,619 Hits in 3.2 sec

Measuring and Synthesizing Systems in Probabilistic Environments

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
2015 Journal of the ACM  
satisfies the given specification under the given input assumption, synthesize a system that optimizes the measured value.  ...  For safety specifications and measures that are defined by mean-payoff automata, the optimal-synthesis problem amounts to finding a strategy in a Markov decision process (MDP) that is optimal for a long-run  ...  Conclusions and Future Work In this paper we showed how to measure and synthesize systems under probabilistic environment assumptions wrt qualitative and quantitative specifications.  ... 
doi:10.1145/2699430 fatcat:cbt5xosfzbgrnexdsqy3me2v2m

Measuring and Synthesizing Systems in Probabilistic Environments [article]

Krishnendu Chatterjee and Thomas A. Henzinger and Barbara Jobstmann and Rohit Singh
2011 arXiv   pre-print
satisfies the given specification under the given input assumption, synthesize a system that optimizes the measured value.  ...  We have implemented our approach in a tool that takes qualitative and quantitative specifications and automatically constructs a system that satisfies the qualitative specification and optimizes the quantitative  ...  Conclusions and Future Work In this paper we showed how to measure and synthesize systems under probabilistic environment assumptions wrt qualitative and quantitative specifications.  ... 
arXiv:1004.0739v2 fatcat:cqcx5xhqaza5jpnbk7rnh53oxu

Measuring and Synthesizing Systems in Probabilistic Environments [chapter]

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
2010 Lecture Notes in Computer Science  
satisfies the given specification under the given input assumption, synthesize a system that optimizes the measured value.  ...  For safety specifications and measures that are defined by mean-payoff automata, the optimal-synthesis problem amounts to finding a strategy in a Markov decision process (MDP) that is optimal for a long-run  ...  This research was supported by the European Union project COMBEST and the European Network of Excellence ArtistDesign.  ... 
doi:10.1007/978-3-642-14295-6_34 fatcat:ilysbzabmrhbzlhm5owxdl44mq

TEMPEST – Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments [article]

Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
2021 arXiv   pre-print
We present Tempest, a synthesis tool to automatically create correct-by-construction reactive systems and shields from qualitative or quantitative specifications in probabilistic environments.  ...  Furthermore, Tempest adds the functionality to synthesize safe and optimal strategies that implement reactive systems and shields  ...  Conclusion and Future Work We have introduced Tempest, a tool for the synthesis of reactive systems and shields with properties given in rPATL capturing qualitative and quantitative objectives with probabilities  ... 
arXiv:2105.12588v1 fatcat:4av5nffijbem7b2zdrhrubixmu

Automatic Synthesis of Experiment Designs from Probabilistic Environment Specifications [article]

Craig Innes, Yordan Hristov, Georgios Kamaras, Subramanian Ramamoorthy
2021 arXiv   pre-print
This paper presents an extension to the probabilistic programming language ProbRobScene, allowing users to automatically synthesize uniform experiment designs directly from environment specifications.  ...  We demonstrate its effectiveness on a number of environment specification snippets from tabletop manipulation, and show that our method generates reliably low-discrepancy designs.  ...  Autonomous Systems Governance and Regulation (EP/V026607/1).  ... 
arXiv:2107.00093v1 fatcat:hyqvuuodvvhubj4kscrf4rlwq4

Page 322 of Mathematical Reviews Vol. , Issue 82a [page]

1982 Mathematical Reviews  
automata in deterministic environment.  ...  An ADE in a finite environment can be simulated by a PA.  ... 

Quantitative reactive modeling and verification

Thomas A. Henzinger
2013 Computer Science - Research and Development  
The theory will be evaluated not only in the context of software and hardware engineering, but also in the context of systems biology.  ...  In particular, we will use the quantitative reactive models and fitness measures developed in this project for testing hypotheses about the mechanisms behind data from biological experiments.  ...  Measuring system robustness and synthesizing robust systems A universal challenge in systems design is the construction of systems whose behavior is robust in the presence of perturbations.  ... 
doi:10.1007/s00450-013-0251-7 pmid:27069511 pmcid:PMC4811300 fatcat:cimfqu272beijj6dgqpvsz7koy

Efficient synthesis of probabilistic programs

Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy
2015 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015  
We have implemented our algorithm in a tool called PSKETCH, and our results are encouraging-PSKETCH is able to automatically synthesize 16 non-trivial realworld probabilistic programs.  ...  A core difficulty in synthesizing probabilistic programs is computing the likelihood L(P | D) of a candidate program P generating data D.  ...  Acknowledgments We thank Timon Gehr and Martin Vechev for their help with fixing errors and improving the presentation of this paper.  ... 
doi:10.1145/2737924.2737982 dblp:conf/pldi/NoriORV15 fatcat:6k3nkkbzfra5vplekzxot3rsoi

Efficient synthesis of probabilistic programs

Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy
2015 SIGPLAN notices  
We have implemented our algorithm in a tool called PSKETCH, and our results are encouraging-PSKETCH is able to automatically synthesize 16 non-trivial realworld probabilistic programs.  ...  A core difficulty in synthesizing probabilistic programs is computing the likelihood L(P | D) of a candidate program P generating data D.  ...  Acknowledgments We thank Timon Gehr and Martin Vechev for their help with fixing errors and improving the presentation of this paper.  ... 
doi:10.1145/2813885.2737982 fatcat:4zrdv2tnhvb67dowwxnpflj6ii

Reasoning about uncertain contexts in pervasive computing environments

A. Ranganathan, J. Al-Muhtadi, R.H. Campbell
2004 IEEE pervasive computing  
A prototype pervasive computing infrastructure, Gaia, allows applications and services to reason about uncertainty using mechanisms such as probabilistic logic, fuzzy logic, and Bayesian networks.  ...  Context-aware systems can't always identify the current context precisely, so they need support for handling uncertainty.  ...  and communication system.  ... 
doi:10.1109/mprv.2004.1316821 fatcat:5c3pcce2preonhy6zol3iaobdu

Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic

Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia
2017 Journal of automated reasoning  
These systems often operate in uncertain environments and in the presence of noisy sensors, and use machine learning and statistical sensor fusion algorithms to form an internal model of the world that  ...  We present a novel automated synthesis technique that compiles C2TL specification into mixed integer constraints, and uses second-order (quadratic) cone programming to synthesize optimal control of autonomous  ...  The difficulty of this task is further amplified by the uncertain environment in which these systems operate, and the inherent probabilistic nature of the statistical techniques used to observe the environment  ... 
doi:10.1007/s10817-017-9413-9 fatcat:wfb2bqprcbhd5k6iapjb3yiddm

The Probabilistic Object Detection Challenge [article]

John Skinner, David Hall, Haoyang Zhang, Feras Dayoub, Niko Sünderhauf
2019 arXiv   pre-print
We evaluate probabilistic detections using a new probability-based detection quality (PDQ) measure.  ...  We introduce a new challenge for computer and robotic vision, the first ACRV Robotic Vision Challenge, Probabilistic Object Detection.  ...  INTRODUCTION A robot or autonomous system often operates in uncontrolled and detrimental conditions that pose severe challenges to its perception system.  ... 
arXiv:1903.07840v2 fatcat:k4x3xsf2yve73nsb5sww6hph3y

Page 2350 of Mathematical Reviews Vol. 58, Issue 3 [page]

1979 Mathematical Reviews  
Adam (Budapest) Gould, Jerren; Wegman, Edward J. 58 #15754 Toward a theory of probabilistic automata with environments. Applications and research in information systems and sciences (Proc.  ...  In this note, we examine this concept in greater detail and explore its relations with fuzziness in measure theory, as well as examine the application of the extension principle of Zadeh [op. cit.] to  ... 

A Tunnel Gaussian Process Model for Learning Interpretable Flight's Landing Parameters [article]

Sim Kuan Goh, Narendra Pratap Singh, Zhi Jun Lim, Sameer Alam
2021 arXiv   pre-print
We examine TGP qualitatively and quantitatively by synthesizing three complex trajectory datasets and compared TGP against existing methods on trajectory learning.  ...  Approach and landing accidents have resulted in a significant number of hull losses worldwide.  ...  Thirdly, it allows generation of aircraft approach and landing parameters that have anomalous measurements in a simulated environment, to assess other procedures and technologies.  ... 
arXiv:2011.09335v3 fatcat:l7rrl52ss5erfbwef5bk57spmu

Opinion Nets for Reasoning with Uncertain Context Information

Yves Vanrompay, Yolande Berbers
2007 International and Interdisciplinary Conference on Modeling and Using Context  
We propose a generic context architecture and representation that incorporates the uncertainty of context elements in terms of upper and lower bounds of probabilities.  ...  Context-aware systems must be able to deal with uncertain context information.  ...  Introduction Pervasive systems that can adapt to changing environments and availability of resources must be aware of their context. These systems sense and react to context.  ... 
dblp:conf/context/VanrompayB07 fatcat:yseukb5w3veybija6pquvru2oy
« Previous Showing results 1 — 15 out of 22,619 results