Results 151 to 155 of about 24,416 (155)
Some of the next articles are maybe not open access.

FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability

2020
Ana Lubenova Milanova
exaly  

Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

Automatica, 2008
Maria Prandini   +2 more
exaly  

Reachability Properties of Single-Input Continuous-Time Positive Switched Systems

IEEE Transactions on Automatic Control, 2010
Maria Elena Valcher, Paolo Santesso
exaly  

Optimal Dyck reachability for data-dependence and alias analysis

2018
Krishnendu Chatterjee   +1 more
exaly  

HIP NODE REACHABILITY

2010
SALMELA PATRIK   +3 more
openaire   +3 more sources
fos: computer and information sciences
theoretical computer science
computer science - logic in computer science
formal languages and automata theory cs.fl
16. peace & justice
computer science all
logic in computer science cs.lo
model checking
switching systems
previous   14  15  16  

Home - About - Disclaimer - Privacy