Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(2)
Peter Buchholz
1
Jorg Feldhusen (Jörg Feldhusen)
1
Journals
(2)
CoR
1
Procedia Engineering
1
Keywords
(10)
Embed
Subscribe
Academic
Authors
Ingo Schulz
Edit
Ingo Schulz
Publications: 2
|
Citations: 4
|
G-Index: 2
|
H-Index: 1
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Computer Science
,
Engineering
View FAQ about top research area and research interests
Collaborated with
2 co-authors
in 2011
; Cited by
9 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(2)
BibTeX
|
RIS
|
RefWorks
Download
Numerical analysis of continuous time Markov decision processes over finite horizons
(
Citations: 4
)
Peter Buchholz
,
Ingo Schulz
Journal:
Computers & Operations Research - CoR
, vol. 38, no. 3, pp. 651-659, 2011
Creating a holistic product development methodology by merging systems theory and dialectics
Jörg Feldhusen
,
Ingo Schulz
Journal:
Procedia Engineering
, vol. 9, pp. 538-544, 2011
Order by:
Citations
(4 times by 4 publications)
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
Markus N. Rabe
,
Sven Schewe
Published in 2011.
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes
(
Citations: 3
)
Martin R. Neuhäußer
,
Lijun Zhang
Conference:
Quantitative Evaluation of Systems - QEST
, pp. 209-218, 2010
Efficient Approximation of Optimal Control for Markov Games
(
Citations: 1
)
Markus N. Rabe
,
Sven Schewe
,
Lijun Zhang
Journal:
Computing Research Repository - CORR
, vol. abs/1011.0, 2010
Model Checking Algorithms for CTMDPs
Peter Buchholz
,
Ernst Moritz Hahn
,
Holger Hermanns
,
Lijun Zhang
Comments