On the public citation graph

Learning Nondeterministic Real-Time Automata

https://doi.org/10.1145/3477030
0 signed · 80 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1006/inco.1993.1021openalex-snapshot
Inference of Finite Automata Using Homing Sequences
inferredcites →https://doi.org/10.1006/inco.1995.1070openalex-snapshot
On the Learnability of Infinitary Regular Sets
inferredcites →https://doi.org/10.1007/11513988_52openalex-snapshot
Symbolic Compositional Verification by Learning Assumptions
inferredcites →https://doi.org/10.1007/3-540-44693-1_13openalex-snapshot
Residual Finite State Automata
inferredcites →https://doi.org/10.1007/978-3-030-25540-4_16openalex-snapshot
Membership-Based Synthesis of Linear Hybrid Automata
inferredcites →https://doi.org/10.1007/978-3-030-29662-9_13openalex-snapshot
Time to Learn – Learning Timed Automata from Tests
inferredcites →https://doi.org/10.1007/978-3-030-45190-5_25openalex-snapshot
Learning One-Clock Timed Automata
inferredcites →https://doi.org/10.1007/978-3-030-55754-6_1openalex-snapshot
From Passive to Active: Learning Timed Automata Efficiently
inferredcites →https://doi.org/10.1007/978-3-030-57628-8_9openalex-snapshot
Active Learning of Timed Automata with Unobservable Resets
inferredcites →https://doi.org/10.1007/978-3-030-68195-1_13openalex-snapshot
Learning Mealy Machines with One Timer
inferredcites →https://doi.org/10.1007/978-3-319-41540-6_25openalex-snapshot
Combining Model Learning and Model Checking to Analyze TCP Implementations
inferredcites →https://doi.org/10.1007/978-3-642-00982-2_63openalex-snapshot
One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit
inferredcites →https://doi.org/10.1007/978-3-662-54577-5_10openalex-snapshot
Learning Symbolic Automata
inferredcites →https://doi.org/10.1007/s00165-021-00542-7openalex-snapshot
Inferring Switched Nonlinear DynamicalSystems
inferredcites →https://doi.org/10.1007/s10994-011-5265-4openalex-snapshot
Efficiently identifying deterministic real-time automata from labeled data
inferredcites →https://doi.org/10.1007/s11432-019-2767-4openalex-snapshot
Learning real-time automata
inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
inferredcites →https://doi.org/10.1016/0890-5401(87)90052-6openalex-snapshot
Learning regular sets from queries and counterexamples
inferredcites →https://doi.org/10.1016/j.ic.2010.11.023openalex-snapshot
The efficiency of identifying timed automata and the power of clocks
inferredcites →https://doi.org/10.1016/j.tcs.2003.11.008openalex-snapshot
Learning regular languages using RFSAs
inferredcites →https://doi.org/10.1016/j.tcs.2010.07.008openalex-snapshot
Learning of event-recording automata
inferredcites →https://doi.org/10.1109/rtas.2011.15openalex-snapshot
The Digraph Real-Time Task Model
inferredcites →https://doi.org/10.1109/tase.2015.2496242openalex-snapshot
Learning Time Delay Mealy Machines From Programmable Logic Controllers
inferredcites →https://doi.org/10.1145/2429069.2429124openalex-snapshot
Checking NFA equivalence with bisimulations up to congruence
inferredcites →https://doi.org/10.1145/2967606openalex-snapshot
Model learning
inferredcites →https://doi.org/10.1145/3178126.3178147openalex-snapshot
Model Checking Bounded Continuous-time Extended Linear Duration Invariants
inferredcites →https://doi.org/10.1145/358722.358740openalex-snapshot
Timestamps in key distribution protocols
inferredcites →https://doi.org/10.48550/arxiv.1711.09576openalex-snapshot
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
inferredcites →https://doi.org/10.48550/arxiv.1910.13895openalex-snapshot
Learning Deterministic Weighted Automata with Queries and Counterexamples
inferredcites →https://doi.org/10.5555/2595545.2595551openalex-snapshot
Learning probabilistic real-time automata from multi-attribute event logs
inferredcites →https://doi.org/10.5555/372406.372410openalex-snapshot
Real-time automata

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-031-17618-0_29openalex-snapshot
Time Majority Voting, a PC-Based EEG Classifier for Non-expert Users
inferred← citeshttps://doi.org/10.1007/978-3-031-19992-9_15openalex-snapshot
Learning Deterministic One-Clock Timed Automata via Mutation Testing
inferred← citeshttps://doi.org/10.1007/978-3-031-19992-9_16openalex-snapshot
Active Learning of One-Clock Timed Automata Using Constraint Solving
inferred← citeshttps://doi.org/10.1007/978-3-031-37706-8_1openalex-snapshot
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
inferred← citeshttps://doi.org/10.1007/978-3-031-40677-5_6openalex-snapshot
A Survey of Embedded Machine Learning for Smart and Sustainable Healthcare Applications
inferred← citeshttps://doi.org/10.1007/978-3-031-71467-2_22openalex-snapshot
Personalized mmWave Signal Synthesis for Human Sensing
inferred← citeshttps://doi.org/10.1007/978-3-031-73036-8_7openalex-snapshot
RT-Pose: A 4D Radar Tensor-Based 3D Human Pose Estimation and Localization Benchmark
inferred← citeshttps://doi.org/10.1007/978-3-032-01149-7_5openalex-snapshot
State-of-Art Research
inferred← citeshttps://doi.org/10.1007/978-3-032-10794-7_23openalex-snapshot
Automata Learning – Expect Delays!
inferred← citeshttps://doi.org/10.1007/978-3-032-15700-3_9openalex-snapshot
SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation
inferred← citeshttps://doi.org/10.1007/978-3-032-22752-2_22openalex-snapshot
A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-032-35298-9_9openalex-snapshot
Learning Alternating Real-Time Automata
inferred← citeshttps://doi.org/10.1007/978-981-96-0617-7_6openalex-snapshot
Efficient State Estimation of Discrete-Timed Automata
inferred← citeshttps://doi.org/10.1007/978-981-97-3948-6_7openalex-snapshot
mmWave Radar Point Cloud Based Pose Estimation with Residual Blocks for Rehabilitation Exercise
inferred← citeshttps://doi.org/10.1007/978-981-97-5612-4_9openalex-snapshot
Segmentation and Quality Assessment of Continuous Fitness Movements Based on Vision
inferred← citeshttps://doi.org/10.1007/978-981-97-8795-1_34openalex-snapshot
M3Pose: Multi-Person 3D Pose Estimation Using Sparse Millimeter-Wave Radar Point Clouds
inferred← citeshttps://doi.org/10.1007/s11432-024-4393-8openalex-snapshot
Active learning of deterministic timed automata via timed classification tree
inferred← citeshttps://doi.org/10.1016/j.compeleceng.2025.110696openalex-snapshot
Millimeter-wave radar for intelligent sensing: A comprehensive review of techniques, applications, and challenges
inferred← citeshttps://doi.org/10.1016/j.dib.2025.111316openalex-snapshot
mmPrivPose3D: A dataset for pose estimation and gesture command recognition in human-robot collaboration using frequency modulated continuous wave 60Hhz RaDAR
inferred← citeshttps://doi.org/10.1016/j.mlwa.2026.100847openalex-snapshot
SK-DGCNN: Human activity recognition from point cloud data with skeleton transformation
inferred← citeshttps://doi.org/10.1016/j.neucom.2025.132019openalex-snapshot
mmChainPose: Geometry-aware temporal chaining for robust human pose estimation from mmWave point clouds
inferred← citeshttps://doi.org/10.1016/j.pmcj.2025.102131openalex-snapshot
Supervised momentum contrastive learning for mmWave-based human action recognition
inferred← citeshttps://doi.org/10.1038/s41598-022-25403-yopenalex-snapshot
Evaluation of deep learning models in contactless human motion detection system for next generation healthcare
inferred← citeshttps://doi.org/10.1061/jcemd4.coeng-17273openalex-snapshot
Detecting Loss of Balance in Construction Workers Using Millimeter Wave Sensing
inferred← citeshttps://doi.org/10.1109/comst.2024.3409556openalex-snapshot
A Survey of mmWave Radar-Based Sensing in Autonomous Vehicles, Smart Homes and Industry
inferred← citeshttps://doi.org/10.1109/icstw64639.2025.10962513openalex-snapshot
Mutating Skeletons: Learning Timed Automata via Domain Knowledge
inferred← citeshttps://doi.org/10.1109/ictbig59752.2023.10456171openalex-snapshot
Better Utilization of NDFA Over DFA with the Existing Problems
inferred← citeshttps://doi.org/10.1109/jiot.2024.3476350openalex-snapshot
mmHPE: Robust Multiscale 3-D Human Pose Estimation Using a Single mmWave Radar
inferred← citeshttps://doi.org/10.1109/rtss66672.2025.00033openalex-snapshot
On Synthesis of Timed Regular Expressions
inferred← citeshttps://doi.org/10.1109/sensors59705.2025.11330967openalex-snapshot
RadarPoseNet: Human Pose Estimation from Extremely Sparse FMCW Radar Point Clouds
inferred← citeshttps://doi.org/10.1145/3489517.3530522openalex-snapshot
Fast and scalable human pose estimation using mmWave point cloud
inferred← citeshttps://doi.org/10.1145/3587819.3592553openalex-snapshot
A Dataset of Food Intake Activities Using Sensors with Heterogeneous Privacy Sensitivity Levels
inferred← citeshttps://doi.org/10.1145/3607828.3617791openalex-snapshot
Memory-Efficient High-Accuracy Food Intake Activity Recognition with 3D mmWave Radars
inferred← citeshttps://doi.org/10.1145/3625687.3625799openalex-snapshot
Egocentric Human Pose Estimation using Head-mounted mmWave Radar
inferred← citeshttps://doi.org/10.1145/3641513.3650124openalex-snapshot
Learning Deterministic Multi-Clock Timed Automata
inferred← citeshttps://doi.org/10.1145/3678512openalex-snapshot
View-agnostic Human Exercise Cataloging with Single MmWave Radar
inferred← citeshttps://doi.org/10.1145/3688855openalex-snapshot
Wi-PT-Hand: Wireless Sensing based Low-cost Physical Rehabilitation Tracking for Hand Movements
inferred← citeshttps://doi.org/10.1145/3715014.3722068openalex-snapshot
Babel: A Scalable Pre-trained Model for Multi-Modal Sensing via Expandable Modality Alignment
inferred← citeshttps://doi.org/10.1145/3790117openalex-snapshot
Sensing Life in Stillness: Unified Dynamic and Static Human Mesh Reconstruction with mmWave Radar
inferred← citeshttps://doi.org/10.3390/app12042168openalex-snapshot
Improving Human Activity Recognition for Sparse Radar Point Clouds: A Graph Neural Network Model with Pre-Trained 3D Human-Joint Coordinates
inferred← citeshttps://doi.org/10.3390/app15158410openalex-snapshot
mmHSE: A Two-Stage Framework for Human Skeleton Estimation Using mmWave FMCW Radar Signals
inferred← citeshttps://doi.org/10.3390/s21217130openalex-snapshot
Wise Information Technology of Med: Human Pose Recognition in Elderly Care
inferred← citeshttps://doi.org/10.3390/s22155470openalex-snapshot
Towards a Low-Cost Solution for Gait Analysis Using Millimeter Wave Sensor and Machine Learning
inferred← citeshttps://doi.org/10.3390/s22155491openalex-snapshot
A Systematic Survey of Research Trends in Technology Usage for Parkinson’s Disease
inferred← citeshttps://doi.org/10.3390/s22207934openalex-snapshot
An Indoor-Monitoring LiDAR Sensor for Patients with Alzheimer Disease Residing in Long-Term Care Facilities
inferred← citeshttps://doi.org/10.3390/s24010268openalex-snapshot
Intelligent Millimeter-Wave System for Human Activity Monitoring for Telemedicine
inferred← citeshttps://doi.org/10.3390/s24165450openalex-snapshot
Human Multi-Activities Classification Using mmWave Radar: Feature Fusion in Time-Domain and PCANet
inferred← citeshttps://doi.org/10.3390/s25041070openalex-snapshot
A Sliding Window-Based CNN-BiGRU Approach for Human Skeletal Pose Estimation Using mmWave Radar
inferred← citeshttps://doi.org/10.3390/s25133909openalex-snapshot
A Novel Deep Learning Model for Human Skeleton Estimation Using FMCW Radar
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.