Author:
Ji Yiding,Wu Yi-Chin,Lafortune Stéphane
Funder
NSF
TerraSwarm Research Center
MARCO
DARPA
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference37 articles.
1. Learning regular sets from queries and counterexamples;Angluin;Information and Computation,1987
2. Probabilistic opacity for Markov decision processes;Bérard;Information Processing Letters,2015
3. Quantifying opacity;Bérard;Mathematical Structures in Computer Science,2015
4. Modelling opacity using Petri nets;Bryans;Electronic Notes in Theoretical Computer Science,2005
5. Introduction to discrete event systems –2nd Edition;Cassandras,2008
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献