On the public citation graph
Quantitative temporal reasoning
0 signed · 195 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-10003-2_69openalex-snapshot
Characterizing correctness properties of parallel programs using fixpoints
inferredcites →https://doi.org/10.1007/3-540-11494-7_22openalex-snapshot
Specification and verification of concurrent systems in CESAR
inferredcites →https://doi.org/10.1007/3-540-18088-5_9openalex-snapshot
A timed failures model for extended communicating processes
inferredcites →https://doi.org/10.1007/3-540-50302-1_4openalex-snapshot
Applications of temporal logic to the specification of real time systems
inferredcites →https://doi.org/10.1007/3-540-51803-7_28openalex-snapshot
Specifying message passing systems requires extending temporal logic
inferredcites →https://doi.org/10.1007/3-540-51803-7_29openalex-snapshot
Extending interval logic to real time systems
inferredcites →https://doi.org/10.1007/3-540-54947-1openalex-snapshot
Specification and Compositional Verification of Real-Time Systems
inferredcites →https://doi.org/10.1007/3-540-56283-4openalex-snapshot
Specifying Message Passing and Time-Critical Systems with Temporal Logic
inferredcites →https://doi.org/10.1007/978-3-540-69850-0_12openalex-snapshot
DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
inferredcites →https://doi.org/10.1007/978-94-009-7066-3openalex-snapshot
Handbook of Philosophical Logic
inferredcites →https://doi.org/10.1007/bf01995674openalex-snapshot
Specifying real-time properties with metric temporal logic
inferredcites →https://doi.org/10.1007/bfb0025774openalex-snapshot
Design and synthesis of synchronization skeletons using branching time temporal logic
inferredcites →https://doi.org/10.1007/bfb0032042openalex-snapshot
Automata for modeling real-time systems
inferredcites →https://doi.org/10.1016/0022-0000(79)90046-1openalex-snapshot
Propositional dynamic logic of regular programs
inferredcites →https://doi.org/10.1016/0022-0000(85)90001-7openalex-snapshot
Decision procedures and expressiveness in the temporal logic of branching time
inferredcites →https://doi.org/10.1016/0167-6423(83)90017-5openalex-snapshot
Using branching time temporal logic to synthesize synchronization skeletons
inferredcites →https://doi.org/10.1016/0167-6423(87)90036-0openalex-snapshot
Modalities for model checking: branching time logic strikes back
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50021-4openalex-snapshot
Temporal and Modal Logic
inferredcites →https://doi.org/10.1093/acprof:oso/9780198243113.001.0001openalex-snapshot
Past, Present and Future
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/71.80145openalex-snapshot
Deciding properties of timed transition models
inferredcites →https://doi.org/10.1109/lics.1990.113763openalex-snapshot
A logic of concrete time intervals
inferredcites →https://doi.org/10.1109/lics.1990.113764openalex-snapshot
Real-time logics: complexity and expressiveness
inferredcites →https://doi.org/10.1109/lics.1990.113766openalex-snapshot
Model-checking for real-time systems
inferredcites →https://doi.org/10.1109/real.1988.51104openalex-snapshot
Specification of real-time systems in real-time temporal interval logic
inferredcites →https://doi.org/10.1109/real.1989.63561openalex-snapshot
A framework for reasoning about time and reliability
inferredcites →https://doi.org/10.1109/real.1990.128761openalex-snapshot
Specifying and verifying a real-time priority queue with modal algebra
inferredcites →https://doi.org/10.1109/tc.1987.5009519openalex-snapshot
A Graph-Theoretic Approach for Timing Analysis and its Implementation
inferredcites →https://doi.org/10.1109/tse.1986.6313045openalex-snapshot
Safety analysis of timing properties in real-time systems
inferredcites →https://doi.org/10.1145/112600.112613openalex-snapshot
The benefits of relaxing punctuality
inferredcites →https://doi.org/10.1145/318593.318622openalex-snapshot
Checking that finite state concurrent programs satisfy their linear specification
inferredcites →https://doi.org/10.1145/357233.357237openalex-snapshot
Synthesis of Communicating Processes from Temporal Logic Specifications
inferredcites →https://doi.org/10.1145/3828.3837openalex-snapshot
The complexity of propositional linear temporal logics
inferredcites →https://doi.org/10.1145/4904.4999openalex-snapshot
“Sometimes” and “not never” revisited
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.1145/75277.75293openalex-snapshot
On the synthesis of a reactive module
inferredcites →https://doi.org/10.1145/800070.802190openalex-snapshot
Decision procedures and expressiveness in the temporal logic of branching time
inferredcites →https://doi.org/10.1145/800221.806721openalex-snapshot
Real-time programming and asynchronous message passing
inferredcites →https://doi.org/10.1145/93385.93429openalex-snapshot
Half-order modal logic: how to prove real-time properties
inferredcites →https://doi.org/10.1146/annurev.cs.02.060187.001413openalex-snapshot
Research on Automatic Verification of Finite-State Concurrent Systems
inferredcites →https://doi.org/10.1184/r1/6603317openalex-snapshot
An improved algorithm for the automatic verification of finite state systems using temporal logic
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9780470611012.ch4openalex-snapshot
Model Checking Timed Automata
inferred← citeshttps://doi.org/10.1007/1-4020-4223-x_6openalex-snapshot
Formal Methods for Specifying and Analyzing Complex Software Systems
inferred← citeshttps://doi.org/10.1007/11867340_18openalex-snapshot
Model-Checking Timed ATL for Durational Concurrent Game Structures
inferred← citeshttps://doi.org/10.1007/3-540-36079-4_25openalex-snapshot
SIMBA: An Approach for Real-Time Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/3-540-45023-8_46openalex-snapshot
Formal Modeling of Dynamic Environments for Real-Time Agents
inferred← citeshttps://doi.org/10.1007/3-540-45732-1_27openalex-snapshot
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant
inferred← citeshttps://doi.org/10.1007/3-540-45931-6_19openalex-snapshot
On Model Checking Durational Kripke Structures
inferred← citeshttps://doi.org/10.1007/3-540-49519-3_13openalex-snapshot
Using MTBDDs for Composition and Model Checking of Real-Time Systems
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_168openalex-snapshot
Designing and implementing correct real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_185openalex-snapshot
From physical modelling to compositional models of hybrid systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35079-0_16openalex-snapshot
Model Reduction of Modules for State-Event Temporal Logics
inferred← citeshttps://doi.org/10.1007/978-0-387-35190-2_10openalex-snapshot
Symbolic Model Checking for a Discrete Clocked Temporal Logic with Intervals
inferred← citeshttps://doi.org/10.1007/978-0-387-35607-5_4openalex-snapshot
Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM
inferred← citeshttps://doi.org/10.1007/978-3-031-36886-8_31openalex-snapshot
ESpin: Analyzing Event-Driven Systems in Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-319-11936-6_6openalex-snapshot
Quantitative Verification of Weighted Kripke Structures
inferred← citeshttps://doi.org/10.1007/978-3-319-25524-8_37openalex-snapshot
Real-Time Conditional Commitment Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-44832-9_9openalex-snapshot
Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-319-45243-2_30openalex-snapshot
On Expressiveness of TCTL $$^{\varDelta }_{h}$$ for Model Checking Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-94649-8_13openalex-snapshot
Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-99810-7_12openalex-snapshot
$$TCTL^{\varDelta }_h$$ Model Checking of Time Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-24611-4_5openalex-snapshot
On Probabilistic Computation Tree Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-30206-3_9openalex-snapshot
Symbolic Model Checking for Simply-Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-31982-5_9openalex-snapshot
Model Checking Durational Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-79707-4_6openalex-snapshot
Introducing Time in an Industrial Application of Model-Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_16openalex-snapshot
Graded-CTL: Satisfiability and Symbolic Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-24769-9_40openalex-snapshot
The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-28038-2_13openalex-snapshot
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-642-30947-2_54openalex-snapshot
SAT-Based Bounded Model Checking for Deontic Interleaved Interpreted Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-31915-0_7openalex-snapshot
MAS: Qualitative and Quantitative Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-642-34281-3_20openalex-snapshot
Time Constraints with Temporal Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-37890-4_10openalex-snapshot
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems
inferred← citeshttps://doi.org/10.1007/bf01211866openalex-snapshot
A logic for reasoning about time and reliability
inferred← citeshttps://doi.org/10.1007/bfb0055792openalex-snapshot
Model checking Real-Time properties of symmetric systems
inferred← citeshttps://doi.org/10.1007/s10009-006-0001-2openalex-snapshot
The FSAP/NuSMV-SA Safety Analysis Platform
inferred← citeshttps://doi.org/10.1007/s10458-012-9208-7openalex-snapshot
Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*
inferred← citeshttps://doi.org/10.1007/s10458-021-09529-3openalex-snapshot
Formal verification of neural agents in non-deterministic environments
inferred← citeshttps://doi.org/10.1007/s10626-008-0057-0openalex-snapshot
Model Checking for a Class of Weighted Automata
inferred← citeshttps://doi.org/10.1007/s10703-005-3399-3openalex-snapshot
Collecting Statistics Over Runtime Executions
inferred← citeshttps://doi.org/10.1007/s10817-020-09541-4openalex-snapshot
Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations
inferred← citeshttps://doi.org/10.1007/s11390-013-1323-7openalex-snapshot
Nondeterministic Probabilistic Petri Net — A New Method to Study Qualitative and Quantitative Behaviors of System
inferred← citeshttps://doi.org/10.1007/s11432-017-9152-xopenalex-snapshot
Symbolic model checking for discrete real-time systems
inferred← citeshttps://doi.org/10.1007/s11704-009-0066-7openalex-snapshot
A new model for model checking: cycle-weighted Kripke structure
inferred← citeshttps://doi.org/10.1007/s11704-013-2195-2openalex-snapshot
A survey on temporal logics for specifying and verifying real-time systems
inferred← citeshttps://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
inferred← citeshttps://doi.org/10.1016/0952-1976(95)00052-6openalex-snapshot
Using scheduling in flexible manufacturing systems
inferred← citeshttps://doi.org/10.1016/j.fss.2014.07.008openalex-snapshot
Model checking fuzzy computation tree logic
inferred← citeshttps://doi.org/10.1016/j.ic.2006.05.002openalex-snapshot
Statistical probabilistic model checking with a focus on time-bounded properties
inferred← citeshttps://doi.org/10.1016/j.ic.2006.08.006openalex-snapshot
Quantitative temporal logics over the reals: PSpace and below
inferred← citeshttps://doi.org/10.1016/j.ic.2020.104554openalex-snapshot
Game-Theoretic Semantics for ATL+ with Applications to Model Checking
inferred← citeshttps://doi.org/10.1016/j.infsof.2025.107697openalex-snapshot
Formal requirements engineering and large language models: A two-way roadmap
inferred← citeshttps://doi.org/10.1016/j.jcss.2022.04.003openalex-snapshot
Graph planning with expected finite horizon
inferred← citeshttps://doi.org/10.1016/j.jss.2017.12.042openalex-snapshot
Model checking real-time conditional commitment logic using transformation
inferred← citeshttps://doi.org/10.1016/j.scico.2014.06.006openalex-snapshot
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories
inferred← citeshttps://doi.org/10.1016/j.scico.2017.11.004openalex-snapshot
An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.11.020openalex-snapshot
Efficient timed model checking for discrete-time systems
inferred← citeshttps://doi.org/10.1016/s0167-6423(96)00030-5openalex-snapshot
Symbolic techniques for formally verifying industrial systems
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00644-8openalex-snapshot
On the expressivity and complexity of quantitative branching-time temporal logics
inferred← citeshttps://doi.org/10.1016/s0950-5849(99)00009-9openalex-snapshot
Introducing software architecture specification and analysis in SAM through an example
inferred← citeshttps://doi.org/10.1016/s0951-8320(03)00089-9openalex-snapshot
Fluid Petri Nets and hybrid model-checking: a comparative case study
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80576-0openalex-snapshot
Collecting Statistics over Runtime Executions
inferred← citeshttps://doi.org/10.1023/a:1008952519552openalex-snapshot
Incremental modeling and verification of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1023/a:1018946507357openalex-snapshot
Integrated architectural modeling and analysis for high-assurance command and control system design
inferred← citeshttps://doi.org/10.1023/a:1024437214071openalex-snapshot
Symbolic Verification and Analysis of Discrete Timed Systems
inferred← citeshttps://doi.org/10.1109/32.241770openalex-snapshot
Analysis of real-time rule-based systems with behavioral constraint assertions specified in Estella
inferred← citeshttps://doi.org/10.1109/32.489073openalex-snapshot
Compositional validation of time-critical systems using communicating time Petri nets
inferred← citeshttps://doi.org/10.1109/32.935853openalex-snapshot
Simulation-verification: biting at the state explosion problem
inferred← citeshttps://doi.org/10.1109/32.940727openalex-snapshot
Static analysis and dynamic steering of time-dependent systems
inferred← citeshttps://doi.org/10.1109/access.2025.3641185openalex-snapshot
Verifying Reachability With Real-Time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement
inferred← citeshttps://doi.org/10.1109/aiccsa.2018.8612803openalex-snapshot
SAT-Based BMC Approach to Verifying Real-Time Properties of Multi-Agent Systems
inferred← citeshttps://doi.org/10.1109/apsec.2005.12openalex-snapshot
A parametric model checking approach for real-time systems design
inferred← citeshttps://doi.org/10.1109/apsec.2006.56openalex-snapshot
Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications
inferred← citeshttps://doi.org/10.1109/compsac.2008.53openalex-snapshot
A New Temporal Logic CTL[k-QDDC] and Its Verification
inferred← citeshttps://doi.org/10.1109/compsac.2018.00040openalex-snapshot
Model Checking of Embedded Systems Using RTCTL While Generating Timed Kripke Structure
inferred← citeshttps://doi.org/10.1109/dac.2002.1012609openalex-snapshot
Formal verification of module interfaces against real time specifications
inferred← citeshttps://doi.org/10.1109/date.2008.4484700openalex-snapshot
Model Checking of Analog Systems using an Analog Specification Language
inferred← citeshttps://doi.org/10.1109/depcos-relcomex.2009.12openalex-snapshot
Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies
inferred← citeshttps://doi.org/10.1109/edtc.1996.494120openalex-snapshot
An efficient algorithm for real-time symbolic model checking
inferred← citeshttps://doi.org/10.1109/emrts.2001.934025openalex-snapshot
A new approach to the specification and verification of real-time systems
inferred← citeshttps://doi.org/10.1109/gcce.2017.8229475openalex-snapshot
Deductively verifying embedded software in the era of artificial intelligence = machine learning + software science
inferred← citeshttps://doi.org/10.1109/gcce50665.2020.9291966openalex-snapshot
Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement
inferred← citeshttps://doi.org/10.1109/gcce53005.2021.9622013openalex-snapshot
Reduction of Timer Interrupts for Embedded Assembly Programs Based on Reduction of Interrupt Handler Executions
inferred← citeshttps://doi.org/10.1109/hase.1997.648037openalex-snapshot
A graphical property specification language
inferred← citeshttps://doi.org/10.1109/hase.1998.731627openalex-snapshot
Integrated architectural modeling and analysis for high-assurance command and control system design
inferred← citeshttps://doi.org/10.1109/icfem.1998.730567openalex-snapshot
Incremental architectural modeling and verification of real-time concurrent systems
inferred← citeshttps://doi.org/10.1109/icsess.2016.7883234openalex-snapshot
A multi-dimensional integrated design framework for CNC system
inferred← citeshttps://doi.org/10.1109/icst46399.2020.00042openalex-snapshot
EC.LANG – A Language for Specifying Response Time Analyses of Event Chains
inferred← citeshttps://doi.org/10.1109/idt.2008.4802520openalex-snapshot
Specification and verification of technical plant behavior with symbolic timing diagrams
inferred← citeshttps://doi.org/10.1109/indin.2009.5195876openalex-snapshot
Specification of technical plant behavior with a safety-oriented technical language
inferred← citeshttps://doi.org/10.1109/indin.2014.6945486openalex-snapshot
Scheduling real-time systems with periodic tasks using a model-checking approach
inferred← citeshttps://doi.org/10.1109/iwssd.1991.213070openalex-snapshot
A compositional proof system for real-time systems based on explicit clock temporal logic
inferred← citeshttps://doi.org/10.1109/jproc.2004.831197openalex-snapshot
Formal verification of timed systems: a survey and perspective
inferred← citeshttps://doi.org/10.1109/lics.1996.561312openalex-snapshot
A modal μ-calculus for durational transition systems
inferred← citeshttps://doi.org/10.1109/lics.1999.782628openalex-snapshot
Parametric quantitative temporal reasoning
inferred← citeshttps://doi.org/10.1109/lics.2019.8785706openalex-snapshot
Graph Planning with Expected Finite Horizon
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470595openalex-snapshot
Stochastic Processes with Expected Stopping Time
inferred← citeshttps://doi.org/10.1109/qest.2004.1348052openalex-snapshot
TSMV: a symbolic model checker for quantitative analysis of systems
inferred← citeshttps://doi.org/10.1109/qrs54544.2021.00073openalex-snapshot
SSpinJa: Facilitating Schedulers in Model Checking
inferred← citeshttps://doi.org/10.1109/real.1993.393490openalex-snapshot
Really visual temporal reasoning
inferred← citeshttps://doi.org/10.1109/rtcsa.1995.528771openalex-snapshot
Verification system for real-time specification based on extended real-time logic
inferred← citeshttps://doi.org/10.1109/rtcsa.2010.28openalex-snapshot
Modeling of Real-Time System Designs for Parametric Analysis
inferred← citeshttps://doi.org/10.1109/sera.2011.32openalex-snapshot
Probabilistic Petri Net and its Logical Semantics
inferred← citeshttps://doi.org/10.1109/time.2001.930720openalex-snapshot
Symbolic model checking of real-time systems
inferred← citeshttps://doi.org/10.1109/time.2003.1214877openalex-snapshot
Reasoning about extremal properties of events
inferred← citeshttps://doi.org/10.1109/time.2005.31openalex-snapshot
Quantitative Temporal Logics: PSPACE and Below
inferred← citeshttps://doi.org/10.1109/tse.2003.1223645openalex-snapshot
On inspection and verification of software with timing requirements
inferred← citeshttps://doi.org/10.1142/s0218194000000201openalex-snapshot
SPECIFYING SOFTWARE ARCHITECTURAL CONNECTORS IN SAM
inferred← citeshttps://doi.org/10.1142/s0218194004001750openalex-snapshot
CONSTRAINT PROPAGATION AND PROGRESSIVE VERIFICATION FOR COMPONENT-BASED PROCESS MODEL
inferred← citeshttps://doi.org/10.1145/1403375.1403453openalex-snapshot
Model checking of analog systems using an analog specification language
inferred← citeshttps://doi.org/10.1145/1459352.1459358openalex-snapshot
Comments on temporal logics for real-time system specification
inferred← citeshttps://doi.org/10.1145/158431.158434openalex-snapshot
Distributed real-time system specification and verification in APTL
inferred← citeshttps://doi.org/10.1145/2108144.2108155openalex-snapshot
Interoperability of constrained finite state automata
inferred← citeshttps://doi.org/10.1145/2687357.2687366openalex-snapshot
Efficient TCTL Model Checking Algorithm for Timed Actors
inferred← citeshttps://doi.org/10.1145/271510.271519openalex-snapshot
Synthesis of concurrent systems with many similar processes
inferred← citeshttps://doi.org/10.1145/277697.277729openalex-snapshot
Synthesis of fault-tolerant concurrent programs
inferred← citeshttps://doi.org/10.1145/3167132.3167332openalex-snapshot
Qualitative and quantitative analysis with scheduling policies in model checking
inferred← citeshttps://doi.org/10.1145/3179998openalex-snapshot
Game-Theoretic Semantics for Alternating-Time Temporal Logic
inferred← citeshttps://doi.org/10.1145/3399443openalex-snapshot
Metric Temporal Description Logics with Interval-Rigid Names
inferred← citeshttps://doi.org/10.1145/940071.940078openalex-snapshot
Towards the compositional verification of real-time UML designs
inferred← citeshttps://doi.org/10.1145/949952.940078openalex-snapshot
Towards the compositional verification of real-time UML designs
inferred← citeshttps://doi.org/10.1145/963778.963782openalex-snapshot
Synthesis of fault-tolerant concurrent programs
inferred← citeshttps://doi.org/10.11606/t.3.2009.tde-11082010-164641openalex-snapshot
Verificação formal de sistemas discretos distribuídos.
inferred← citeshttps://doi.org/10.1177/0142331208095679openalex-snapshot
Software architectural modelling and verification: a Petri net and temporal logic approach
inferred← citeshttps://doi.org/10.14569/ijacsa.2017.080458openalex-snapshot
A Framework to Reason about the Knowledge of Agents in Continuous Dynamic Systems
inferred← citeshttps://doi.org/10.1524/itit.2001.43.1.39openalex-snapshot
Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems)
inferred← citeshttps://doi.org/10.1587/transinf.2019edp7172openalex-snapshot
Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software
inferred← citeshttps://doi.org/10.24963/kr.2020/3openalex-snapshot
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems
inferred← citeshttps://doi.org/10.2514/6.2013-4804openalex-snapshot
Human-Computer Interface Concepts for Verifiable Mission Specification, Planning, and Management
inferred← citeshttps://doi.org/10.2514/6.2013-5183openalex-snapshot
Model Checking Human-Automation UAV Mission Plans
inferred← citeshttps://doi.org/10.31648/ts.5147openalex-snapshot
Comparing sat-based bounded model checking rtectl and ectl properties
inferred← citeshttps://doi.org/10.3217/jucs-007-01-0089openalex-snapshot
RAVEN: Real-Time Analyzing and Verification Environment
inferred← citeshttps://doi.org/10.3233/fi-2014-1140openalex-snapshot
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking
inferred← citeshttps://doi.org/10.3390/electronics8101163openalex-snapshot
Deductive Verification Method of Real-Time Safety Properties for Embedded Assembly Programs
inferred← citeshttps://doi.org/10.3390/s22031157openalex-snapshot
Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems
inferred← citeshttps://doi.org/10.3390/s22239552openalex-snapshot
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks
inferred← citeshttps://doi.org/10.4204/eptcs.243.2openalex-snapshot
Deterministic Temporal Logics and Interval Constraints
inferred← citeshttps://doi.org/10.4230/lipics.fsttcs.2015.69openalex-snapshot
Weighted Strategy Logic with Boolean Goals Over One-Counter Games
inferred← citeshttps://doi.org/10.46298/lmcs-20(4:11)2024openalex-snapshot
Stochastic Processes with Expected Stopping Time
inferred← citeshttps://doi.org/10.5555/787259.787609openalex-snapshot
An efficient algorithm for real-time symbolic model checking
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.